SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
NewCADModule

This module is based on the implementation in smtrat::cad. It is described in [18] in some detail.