![]() |
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] |