SMT-RAT  2.1.0
ToolboxforStrategicandParallelSatisfiability-Modulo-TheoriesSolving
Data Structures
Here are the data structures with brief descriptions:
[detail level 12345]
 NbenchmaxFile: Tool.h
 Ndelta
 NMinisat
 Nrewriter
 Nsmtrat
smtrat is the main namespace for the library
 NstdSTL namespace
 NvsClass to create a condition object
 CExecutor