SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Files | |
file | SplitSOSModule.h [code] |
Splits the sum-of-squares (sos) decomposition of all constraints with a sos as left-hand side. | |
file | SplitSOSModule.tpp [code] |
file | SplitSOSSettings.h [code] |
file | SplitSOSSettings1Instantiation.cpp [code] |