SMT-RAT  19.10.203
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Developers information