Here is a list of all namespaces with brief descriptions:

[detail level 12]

NCaDiCaL
▼Ndetail
Calways_falset
Cexpr_dynamic_cast_return_typet
Cexpr_try_dynamic_cast_return_typet
NGlucose
Nharness_options_parser
NMinisat
Nrequire_expr
▼Nrequire_goto_statements
Cno_decl_found_exceptiont
Cpointer_assignment_locationt
▼Nrequire_parse_tree
Cexpected_instructiont
Nrequire_symbol
▼Nrequire_type
Cexpected_type_argumentt
▼Nrust
Nbehavior
▼Nstd	STL namespace
Chash< dstringt >	Default hash function of `dstringt` for use with STL containers
Chash< solver_hardnesst::hardness_ssa_keyt >
Chash< string_not_contains_constraintt >
Chash<::symbol_exprt >