SMT-RAT  2.1.0
ToolboxforStrategicandParallelSatisfiability-Modulo-TheoriesSolving
Namespace List
Here is a list of all documented namespaces with brief descriptions:
[detail level 1234]
 NbenchmaxFile: Tool.h
 Nsmtrat
smtrat is the main namespace for the library
 Ncad
 NprojectionContains everyting related to CAD projections
 NbrownContains the implementation of Browns projection operator as specified in [1] after Theorem 3.1
 NcollinsContains the implementation of Collins projection operator as specified in [2] below Theorem 4
 NhongContains the implementation of Hongs projection operator as specified in [5] in Section 2.2
 NmccallumContains the implementation of McCallums projection operator as specified in [7]
 Nmccallum_partialContains the implementation of an optimized version McCallums projection operator
 Nsample_compareContains comparison operators for samples and associated helpers
 NparserContains the parser for smtlib files and everything related
 NvsClass to create a condition object