31 addBackend<BEModule<BESettings1>>(),
33 addBackend<NewCADModule<NewCADSettingsNaive>>(),
34 addBackend<CNFerModule>(),
35 addBackend<EMModule<EMSettings1>>(),
37 addBackend<FPPModule<FPPSettings1>>(),
39 addBackend<ICPModule<ICPSettings1>>(),
41 addBackend<IntBlastModule<IntBlastSettings1>>(),
43 addBackend<LRAModule<LRASettings1>>(),
45 addBackend<SATModule<SATSettings1>>(),
47 addBackend<VSModule<VSSettings1>>(),
A module, which searches for bounds of arithmetic variables and polynomials.
A module, which iteratively finds boolean and arithmetic substitutions and applies them to all formul...
Removes factors of polynomials from the formula.
Splits the sum-of-squares (sos) decomposition of all constraints with a sos as left-hand side.
A solver module based on Groebner basis.
A module which checks whether the equations contained in the received (linear integer) formula have a...
void setStrategy(const std::initializer_list< BackendLink > &backends)
BackendLink addBackend(const std::initializer_list< BackendLink > &backends={})
Class to create the formulas for axioms.