Here is a list of all namespaces with brief descriptions:

Algebra
Algebra_Concepts_tests
Algebra_Traits
AlgebraicStructures
Algorithms
Algorithms_Testobjects
Algorithms_Tests
Analyse
AutomatedCompilation
Auxiliary
BCAES
BoolVarLit
boost
boost::filesystem
CgiHandling
Clauses
Clauses::Error
Clausesets
ClauseSets
Combinatorics
Combinatorics_Testobjects
Combinatorics_Tests
ConceptDefinitions
Concepts_General
Concepts_Graphs
Concepts_Variables
DatabaseHandler01
DatabaseHandler01::AuxiliaryFunctions
DatabaseHandler01::Error
DatabaseHandler01::local_get_values
DatabaseHandler01::local_TableHandler_clear
Deskriptorverarbeitung
Deskriptorverarbeitung::Fehler
DLL_Algorithms
Doc_Object
Domains
EKLMAES
emailHandling
EndlicherAutomat
Error_Variables
ErrorHandling
ExperimentDurchfuehrung
ExperimentDurchfuehrung::Fehler
ExperimentUebertragung
ExperimentVorbereitung
ExperimentVorbereitung::Fehler
FaronsPuzzle
FunctionHandling
Generators
Graphs
Implementation
InputCls
IteratorHandling
IteratorHandling_Tests
KMZ
Latex_Handler
LGAES
LinInequal
Literal
Literals
LitSets
Matrices
MessageHandling
NumberTheory
NumberTheory_Concept_test
NumberTheory_Testobjects
NumberTheory_Traits
NumericalLimits
Numerics
Numerics_Testobjects
Numerics_Tests
OKlib	All components of the OKlibrary
OKlib::AlgebraicStructures	Components related to the search for algebraic structures by means of (generalised) SAT
OKlib::AllSolutions	Components for extracting all satisfying assignments (in some form)
OKlib::Applications	Components for applications of generalised satisfiability
OKlib::Applications::QuantumPhysics	Components related to certain aspects of quantum physics
OKlib::AtomicConditions
OKlib::AtomicConditions::traits
OKlib::BigIntegers	Classes and tools for handling integers of arbitrary size
OKlib::Combinatorics	The part of the OKlibrary for general combinatorics
OKlib::Combinatorics::Graphs	Supermodule for dedicated graph algorithms
OKlib::Combinatorics::Graphs::TreeDecompositions	Module for tree decompositions
OKlib::Combinatorics::Hypergraphs	Supermodule for dedicated hypergraph algorithms
OKlib::Combinatorics::Hypergraphs::Colourings	Components for hypergraph colouring
OKlib::Combinatorics::Hypergraphs::Generators	Hypergraph generators at C++ level
OKlib::Combinatorics::Hypergraphs::Generators::tests
OKlib::Combinatorics::Hypergraphs::Transversals	Components for handling hypergraph transversals
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded	Components for handling hypergraph transversals of bounded size
OKlib::Combinatorics::Hypergraphs::Transversals::Minimal	Components for handling minimal hypergraph transversals
OKlib::Combinatorics::traits
OKlib::ComplexitySystem	Module for (persistent) complexity measurements
OKlib::ComplexityTheory	Components for constructions from complexity theory (especially those related to propositional logic)
OKlib::Concepts	Concept definitions and accompanying generic tests
OKlib::Concepts::ConceptTests	Contains macros for testing concept definitions (and related constructions)
OKlib::Concepts::implementation_has_concept_tag
OKlib::Concepts::TestIndex
OKlib::Concepts::tests
OKlib::Concepts::traits
OKlib::Concepts::traits::implementation_concept_tag
OKlib::Cryptanalysis	Components for cryptanalysis via (generalised) SAT
OKlib::DPv	Deprecated namespace containing components for Davis-Putnam resolution
OKlib::DPv::Error
OKlib::DPv::Input
OKlib::DPv::Output
OKlib::DPv::Testobjects
OKlib::Equivalences	Active clause-sets for equivalence reasoning
OKlib::ErrorHandling	Tools for error (and exception) handling
OKlib::ExperimentSystem	Components for performing experiments
OKlib::FrequencyAssignment	Active clause-sets for frequency assignment
OKlib::Games	Components related to (combinatorial) games
OKlib::GeneralInputOutput	Tools for handling input and output
OKlib::GraphDecomposition	Module for SAT decision by means of graph decomposition
OKlib::GraphDrawing	Tools for drawing graphs and trees
OKlib::HamiltonianPaths	Active clause-sets to search for Hamiltonian paths etc
OKlib::HittingClauseSets	Module for components regarding hitting clause-sets
OKlib::HypergraphColouring
OKlib::InjectivityConstraints
OKlib::InputOutput
OKlib::Isomorphisms	Components for finding isomorphisms
OKlib::Iterators	General tools for iterator handling
OKlib::LaTeX	Tools for LaTeX-Output
OKlib::LatinSquares	Tools for latin squares and generalisations and refinements
OKlib::LatinSquares::tests
OKlib::LinearInequalities	Module with active clause-sets for linear inequalities
OKlib::Literals
OKlib::Literals::traits
OKlib::Matchings	Matching algorithms for graphs (in the Boost sense)
OKlib::Matrices	Module for matrix computations
OKlib::Matrices::tests
OKlib::Messages	Module for objects representing units of meaning
OKlib::Messages::demo
OKlib::Messages::messages
OKlib::Messages::Utilities	Components for creating standard message objects
OKlib::MetaProgramming	Components to support meta programming
OKlib::MetaProgramming::MacrosForMetaValues
OKlib::MinUnsat	Components for handling minimal unsatisfiability
OKlib::OKsolver_1_0	Applications implementing the algorithm of the old OKsolver
OKlib::OKsolver_2_0	Applications implementing the new OKsolver (for SAT 2009)
OKlib::OKsolver_3_0	Applications implementing the successor of OKsolver_2_0
OKlib::OrderRelations
OKlib::Parallelism
OKlib::Parser	Components to support parsing
OKlib::PartialAssignments
OKlib::PartialAssignments::tests
OKlib::Programming	The part of the OKlibrary delivering general programming support
OKlib::Programming::Parallelism	Components for parallelising algorithms
OKlib::Programming::Sequences	Generic algorithms for sequences
OKlib::Programming::Sequences::tests
OKlib::Programming::Utilities	Utilities for general programming
OKlib::Programming::Utilities::OrderRelations	Components for handling order relations
OKlib::ProgramOptions	Components for handling command-line parameters
OKlib::PseudoBoolean	Components for active clause-sets for pseudo-boolean constraints
OKlib::RamseyTheory	Components regarding Ramsey theory
OKlib::RandomGenerator	Components for the generation of random problems
OKlib::Refactoring	Tools for refactoring C++ code
OKlib::Refactoring::traits
OKlib::Resolution	Components for resolution handling
OKlib::Rijndael
OKlib::Sat
OKlib::Sat::PrI
OKlib::Sat::PrI::ACl
OKlib::Sat::PrI::ACl::InC
OKlib::Sat::PrI::ACl::InC::tests
OKlib::SATAlgorithms
OKlib::SATAlgorithms::tests
OKlib::SATCompetition	Tools for evaluating SAT competition (under various circumstances)
OKlib::SATCompetition::Testobjects
OKlib::SATCompetition::traits
OKlib::Satisfiability	The part of the OKlibrary concerned with (generalised) satisfiability
OKlib::Satisfiability::Algorithms	Components for (generalised) SAT algorithms
OKlib::Satisfiability::Algorithms::Autarkies	Components for autarky handling
OKlib::Satisfiability::Algorithms::Autarkies::MatchingAutarkies	Components related to finding matching autarkies
OKlib::Satisfiability::Algorithms::Autarkies::Search	Components for (general) autarky search
OKlib::Satisfiability::Algorithms::Backtracking	Components for (generalised) backtracking SAT algorithms
OKlib::Satisfiability::Algorithms::Learning	Components for clause-learning
OKlib::Satisfiability::Algorithms::LocalSearch	Components for supporting local search
OKlib::Satisfiability::Assignments	The part of the OKlibrary concerned with assignments (partial and total)
OKlib::Satisfiability::Assignments::PartialAssignments	Components regarding partial assignments
OKlib::Satisfiability::Assignments::TotalAssignments	Components regarding total assignments
OKlib::Satisfiability::Enumeration	Supermodule for counting, enumerating and sampling SAT problems
OKlib::Satisfiability::FiniteFunctions	Algorithms and representations for finite (especially boolean) functions
OKlib::Satisfiability::FiniteFunctions::tests
OKlib::Satisfiability::Heuristics	Components for heuristics
OKlib::Satisfiability::Heuristics::Projections	Components for projections
OKlib::Satisfiability::Heuristics::StatisticalAnalysis	Components for statistical analysis tools supporting heuristics
OKlib::Satisfiability::Heuristics::StructureRecognition	Components for structure recognition
OKlib::Satisfiability::Interfaces	The supermodule with components for satisfiability interfaces
OKlib::Satisfiability::Interfaces::InputOutput	Components for SAT-related input/output
OKlib::Satisfiability::ProblemInstances	The supermodule with components for problem instances
OKlib::Satisfiability::ProblemInstances::ActiveClauses	The supermodule with components for problem instances
OKlib::Satisfiability::ProblemInstances::ActiveClauses::InjectivityConstraints	Active clauses expressing that variables must get different values, and generalisations and refinements
OKlib::Satisfiability::ProblemInstances::Clauses	General plans on clauses
OKlib::Satisfiability::ProblemInstances::Clauses::tests
OKlib::Satisfiability::ProblemInstances::ClauseSets	Components for clause-sets
OKlib::Satisfiability::ProblemInstances::Conditions	Components for conditions
OKlib::Satisfiability::ProblemInstances::Conditions::AtomicConditions	Components for atomic conditions (corresponding to characteristic functions of sets)
OKlib::Satisfiability::ProblemInstances::Literals	Module with components for (generalised) literals
OKlib::Satisfiability::ProblemInstances::Variables	Components for variables
OKlib::Satisfiability::ProofSystems	Super-module on proof systems
OKlib::Satisfiability::Quantification	Components for quantified generalised SAT problems
OKlib::Satisfiability::Reductions	Super-module for reductions
OKlib::Satisfiability::Reductions::Bases	Components for computing r-bases
OKlib::Satisfiability::Reductions::FailedLiteralReduction	Components around the r_2-reduction
OKlib::Satisfiability::Reductions::KLevelForcedAssignments	Components for generalised unit-clause elimination
OKlib::Satisfiability::Reductions::KLevelForcedAssignments::tests
OKlib::Satisfiability::Reductions::UnitClausePropagation	Components for unit-clause propagation ("UCP")
OKlib::Satisfiability::Solvers	Super-module on solvers
OKlib::Satisfiability::SpecialStructures	Super-module on special structures (relevant for SAT-solving)
OKlib::Satisfiability::Transformers	The supermodule with components for transformers into SAT
OKlib::Satisfiability::Transformers::CrispCSP	Module with components for transformers of crisp CSP problems into SAT
OKlib::Satisfiability::Transformers::Generators	Generators for (active) clause-sets (which are not yet in their own module)
OKlib::Satisfiability::Transformers::LadderLogic	Components for transforming ladder logic into propositional logic
OKlib::Satisfiability::Transformers::SATModuloTheories	Components for active clause-sets with an underlying logical theory
OKlib::Satisfiability::Values	The part of the OKlibrary concerned with values (of variables)
OKlib::Satisfiability::Values::traits
OKlib::SearchDataStructures	Data structures with additional search functionality
OKlib::SetAlgorithms	Components for sets-related algorithms and datastructures
OKlib::SetAlgorithms::SubsumptionsTags
OKlib::SetAlgorithms::Testobjects
OKlib::SetAlgorithms::tests
OKlib::Statistics	Components providing statistical tools
OKlib::SumProduct	Components for sum-product (or belief-propagation) algorithms
OKlib::SystemSpecifics	Tools for handling and testing components which are depending on the operating system or the compiler
OKlib::TestExecutionTools	Generic components to help with testing
OKlib::TestSystem	The components for higher-order unit-testing
OKlib::TestSystem::Implementation
OKlib::TestSystem::messages
OKlib::TestSystem::tests
OKlib::traits	All traits meta-functions concerning the Standard
OKlib::Trees	Module for trees (algorithms and data structures; all kinds of trees)
OKlib::Utilities	Various utilities
OKlib::Van_der_Waerden_hypergraph
OKlib::Van_der_Waerden_hypergraph::Testobjects
OKlib::Variables
OKlib::Variables::traits
OutputCls
PartAssignments
PartAssignments::Error
PartialAssignments
Ramsey
SetsOfVariables
StreamHandling
StreamHandling::Error_file2string
StreamHandling::Error_FileLines
StreamHandling::Error_LockFile
StreamHandling::Error_remove_lines
StreamHandling::Error_TempFile
StringHandling
StringHandling::Error_StringHandling
Support
SystemHandling
SystemHandling::Implementation_pid2string
Tests_General
Tests_General::Helper_VariableDomain
Tests_Generators
Tests_Ramsey
TimeHandling
Traits_General
Traits_General::Basis_VariablesAsIntegers_DomainWithNameAdministration
Traits_Variables
TransformationsBiclique
UnitPropagation
Values
Variables
Variables::Error
VEKLMAES
VLGAES
XercesTools
XercesTools::ErrorMessages
XMLHandling