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.
Modules
Available modules
Generated by
1.9.1