SMT-RAT  2.1.0
ToolboxforStrategicandParallelSatisfiability-Modulo-TheoriesSolving
Developers' Guide