SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Structures
Here are the data structures with brief descriptions:
[detail level 12345]
 Nbenchmax
 NMinisat
 NsmtratClass to create the formulas for axioms
 NstdSTL namespace