SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
recursive Directory Reference
Directory dependency graph for recursive:
smtrat-mcsat/explanations/onecellcad/recursive

Files

file  Explanation.cpp [code]
 
file  Explanation.h [code]
 
file  OneCellCAD.h [code]
 Construct a single open CAD Cell around a given point that is sign-invariant on a given set of polynomials.
 
file  OpenCAD.h [code]
 Construct a single open CAD Cell around a given point that is sign-invariant on a given set of polynomials.