S1 | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
S2 | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
Sat | ToySolver.Data.FOL.Arith |
satPrintModel | ToySolver.SAT.Printer |
SatResult | ToySolver.Data.FOL.Arith |
sBitVec | ToySolver.SMT |
sBool | ToySolver.SMT |
SCIP | |
1 (Type/Class) | ToySolver.Data.MIP.Solver.SCIP, ToySolver.Data.MIP.Solver |
2 (Data Constructor) | ToySolver.Data.MIP.Solver.SCIP, ToySolver.Data.MIP.Solver |
scip | ToySolver.Data.MIP.Solver.SCIP, ToySolver.Data.MIP.Solver |
scipPath | ToySolver.Data.MIP.Solver.SCIP, ToySolver.Data.MIP.Solver |
SemiContinuousVariable | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
semiContinuousVariables | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
SemiIntegerVariable | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
semiIntegerVariables | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
separate | ToySolver.Data.AlgebraicNumber.Sturm |
separate' | ToySolver.Data.AlgebraicNumber.Sturm |
SeqQueue | ToySolver.Internal.Data.SeqQueue |
Sequent | ToySolver.Wang |
setCCMin | ToySolver.SAT |
setCheckModel | ToySolver.SAT |
setConfBudget | ToySolver.SAT |
setConfig | ToySolver.SAT |
setEnableBackwardSubsumptionRemoval | ToySolver.SAT |
setEnableForwardSubsumptionRemoval | ToySolver.SAT |
setEnableObjFunVarsHeuristics | ToySolver.SAT.PBO |
setEnablePhaseSaving | ToySolver.SAT |
setEncodingChar8 | ToySolver.Internal.Util |
setFinished | ToySolver.SAT.PBO.Context |
setGlobalDeclarations | ToySolver.SMT |
setIterationLimit | ToySolver.SAT.MessagePassing.SurveyPropagation |
setLearningStrategy | ToySolver.SAT |
setLearntSizeFirst | ToySolver.SAT |
setLearntSizeInc | ToySolver.SAT |
setLogger | |
1 (Function) | ToySolver.SAT.PBO.Context |
2 (Function) | ToySolver.SAT |
3 (Function) | ToySolver.SAT.PBO |
4 (Function) | ToySolver.Arith.Simplex |
5 (Function) | ToySolver.Arith.MIP |
setMethod | ToySolver.SAT.PBO |
setNThread | ToySolver.Arith.MIP |
setNThreads | ToySolver.SAT.MessagePassing.SurveyPropagation |
setObj | |
1 (Function) | ToySolver.Converter.PBSetObj |
2 (Function) | ToySolver.Arith.Simplex |
setObjFun | ToySolver.Arith.Simplex.Textbook |
setOnUpdateBestSolution | |
1 (Function) | ToySolver.SAT.PBO.Context |
2 (Function) | ToySolver.SAT.PBO |
3 (Function) | ToySolver.Arith.MIP |
setOnUpdateLowerBound | |
1 (Function) | ToySolver.SAT.PBO.Context |
2 (Function) | ToySolver.SAT.PBO |
setOptDir | ToySolver.Arith.Simplex |
setPBHandlerType | ToySolver.SAT |
setPBSplitClausePart | ToySolver.SAT |
setPivotStrategy | ToySolver.Arith.Simplex |
setRandomFreq | ToySolver.SAT |
setRandomGen | ToySolver.SAT |
setRestartFirst | ToySolver.SAT |
setRestartInc | ToySolver.SAT |
setRestartStrategy | ToySolver.SAT |
setShowRational | ToySolver.Arith.MIP |
setTheory | ToySolver.SAT |
setTolerance | ToySolver.SAT.MessagePassing.SurveyPropagation |
setTrialLimitConf | ToySolver.SAT.PBO |
setUnsat | ToySolver.SAT.PBO.Context |
setUsePB | ToySolver.SAT.Encoder.Tseitin |
setVarPolarity | ToySolver.SAT |
shortestImplicants | ToySolver.SAT.ExistentialQuantification |
showAtom | ToySolver.Data.LA |
showBranchingStrategy | ToySolver.SAT.Config, ToySolver.SAT |
showEntity | ToySolver.EUF.FiniteModelFinder |
showExpr | ToySolver.Data.LA |
showLearningStrategy | ToySolver.SAT.Config, ToySolver.SAT |
showMethod | |
1 (Function) | ToySolver.SAT.MUS |
2 (Function) | ToySolver.SAT.PBO |
3 (Function) | ToySolver.SAT.MUS.Enum |
showModel | ToySolver.EUF.FiniteModelFinder |
showOp | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA, ToySolver.BitVector.Base, ToySolver.BitVector |
showPBHandlerType | ToySolver.SAT.Config, ToySolver.SAT |
showRational | ToySolver.Internal.Util |
showRationalAsFiniteDecimal | ToySolver.Internal.Util |
showRestartStrategy | ToySolver.SAT.Config, ToySolver.SAT |
showValue | ToySolver.Arith.Simplex |
shrink | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
signExtend | ToySolver.BitVector.Base, ToySolver.BitVector |
simpARealPoly | ToySolver.Data.AlgebraicNumber.Real |
SimpleAtom | ToySolver.Arith.DifferenceLogic |
SimpleContext | ToySolver.SAT.PBO.Context |
SimpleProblem | |
1 (Type/Class) | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
2 (Data Constructor) | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
simplex | |
1 (Function) | ToySolver.Arith.Simplex.Textbook |
2 (Function) | ToySolver.Arith.Simplex.Textbook.LPSolver |
simplify | |
1 (Function) | ToySolver.Data.BoolExpr |
2 (Function) | ToySolver.Arith.FourierMotzkin.Base |
simplifyAtom | ToySolver.Arith.Simplex |
Singleton | ToySolver.Graph.ShortestPath |
SMTLIB2 | ToySolver.Converter.MIP2SMT |
solObjectiveValue | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP |
solStatus | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP |
Solution | |
1 (Type/Class) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP |
2 (Data Constructor) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP |
solVariables | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP |
solve | |
1 (Function) | ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver |
2 (Function) | ToySolver.SAT |
3 (Function) | ToySolver.QBF |
4 (Function) | ToySolver.SAT.PBO.BC |
5 (Function) | ToySolver.SAT.PBO.BCD |
6 (Function) | ToySolver.SAT.PBO.BCD2 |
7 (Function) | ToySolver.SAT.PBO.MSU4 |
8 (Function) | ToySolver.SAT.PBO.UnsatBased |
9 (Function) | ToySolver.Combinatorial.Knapsack.DPSparse |
10 (Function) | ToySolver.Combinatorial.Knapsack.DPDense |
11 (Function) | ToySolver.Combinatorial.Knapsack.BB |
12 (Function) | ToySolver.Arith.VirtualSubstitution |
13 (Function) | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
14 (Function) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
15 (Function) | ToySolver.Arith.DifferenceLogic |
16 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
17 (Function) | ToySolver.Arith.CAD |
18 (Function) | ToySolver.Arith.ContiTraverso |
19 (Function) | ToySolver.Arith.Simplex.Textbook.LPSolver.Simple |
solve' | |
1 (Function) | ToySolver.Arith.FourierMotzkin.Base |
2 (Function) | ToySolver.Arith.CAD |
3 (Function) | ToySolver.Arith.ContiTraverso |
solveCEGAR | ToySolver.QBF |
solveCEGARIncremental | ToySolver.QBF |
solveErrorLogger | ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver |
solveFor | ToySolver.Data.LA |
solveFormula | |
1 (Function) | ToySolver.Arith.FourierMotzkin.FOL, ToySolver.Arith.FourierMotzkin |
2 (Function) | ToySolver.Arith.Cooper.FOL, ToySolver.Arith.Cooper |
solveGeneric | ToySolver.Combinatorial.Knapsack.DPSparse |
solveInt | ToySolver.Combinatorial.Knapsack.DPSparse |
solveInteger | ToySolver.Combinatorial.Knapsack.DPSparse |
solveLogger | ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver |
solveNaive | ToySolver.QBF |
SolveOptions | |
1 (Type/Class) | ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver |
2 (Data Constructor) | ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver |
solveQFFormula | |
1 (Function) | ToySolver.Arith.VirtualSubstitution |
2 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
solveQFLIRAConj | |
1 (Function) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
2 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
Solver | |
1 (Type/Class) | ToySolver.EUF.CongruenceClosure |
2 (Type/Class) | ToySolver.EUF.EUFSolver |
3 (Type/Class) | ToySolver.SAT.MessagePassing.SurveyPropagation |
4 (Type/Class) | ToySolver.SAT |
5 (Type/Class) | ToySolver.BitVector.Solver, ToySolver.BitVector |
6 (Type/Class) | ToySolver.Arith.Simplex |
7 (Type/Class) | ToySolver.SMT |
8 (Type/Class) | ToySolver.Arith.MIP |
9 (Type/Class) | ToySolver.Arith.Simplex.Textbook.LPSolver |
SolverValue | ToySolver.Arith.Simplex |
solveTimeLimit | ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver |
solveWith | ToySolver.SAT |
Sort | |
1 (Type/Class) | ToySolver.SMT |
2 (Data Constructor) | ToySolver.SMT |
Sorter | ToySolver.SAT.Encoder.PB |
sortVector | ToySolver.SAT.Encoder.PB.Internal.Sorter |
sosBody | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
SOSConstraint | |
1 (Type/Class) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
2 (Data Constructor) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
sosConstraints | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
sosLabel | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
SOSType | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
sosType | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
spolynomial | ToySolver.Data.Polynomial.GroebnerBasis |
SQFree | ToySolver.Data.Polynomial |
sqfree | |
1 (Function) | ToySolver.Data.Polynomial |
2 (Function) | ToySolver.Data.Polynomial.Factorization.FiniteField |
sqfreeChar0 | ToySolver.Data.Polynomial.Factorization.SquareFree |
sReal | ToySolver.SMT |
SS | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.Enum |
SSym | ToySolver.SMT |
ssymArity | ToySolver.SMT |
SSymBitVec | ToySolver.SMT |
SSymBool | ToySolver.SMT |
SSymReal | ToySolver.SMT |
SSymUninterpreted | ToySolver.SMT |
Status | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
StatusFeasible | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
StatusInfeasible | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
StatusInfeasibleOrUnbounded | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
StatusOptimal | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
StatusUnbounded | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
StatusUnknown | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
Strategy | |
1 (Type/Class) | ToySolver.Data.Polynomial.GroebnerBasis |
2 (Type/Class) | ToySolver.SAT.Encoder.PB |
SturmChain | ToySolver.Data.AlgebraicNumber.Sturm |
sturmChain | ToySolver.Data.AlgebraicNumber.Sturm |
subsetSum | ToySolver.Combinatorial.SubsetSum |
subst | ToySolver.Data.Polynomial |
SugarStrategy | ToySolver.Data.Polynomial.GroebnerBasis |