SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SplitSOSModule Directory Reference
Directory dependency graph for SplitSOSModule:
smtrat-modules/SplitSOSModule

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]