S1 | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
S2 | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
Sat | ToySolver.Data.FOL.Arith |
sat2ip | ToySolver.Converter.PB2IP, ToySolver.Converter |
SAT2IPInfo | ToySolver.Converter.PB2IP, ToySolver.Converter |
sat2ksat | ToySolver.Converter.SAT2KSAT, ToySolver.Converter |
SAT2KSATInfo | |
1 (Type/Class) | ToySolver.Converter.SAT2KSAT, ToySolver.Converter |
2 (Data Constructor) | ToySolver.Converter.SAT2KSAT, ToySolver.Converter |
sat2maxcut | ToySolver.Converter.SAT2MaxCut, ToySolver.Converter |
SAT2MaxCutInfo | ToySolver.Converter.SAT2MaxCut, ToySolver.Converter |
sat2naesat | ToySolver.Converter.NAESAT, ToySolver.Converter |
SAT2NAESATInfo | |
1 (Type/Class) | ToySolver.Converter.NAESAT, ToySolver.Converter |
2 (Data Constructor) | ToySolver.Converter.NAESAT, ToySolver.Converter |
sat2pb | ToySolver.Converter.PB, ToySolver.Converter |
SAT2PBInfo | ToySolver.Converter.PB, ToySolver.Converter |
sat3ToMaxSAT2 | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
SAT3ToMaxSAT2Info | |
1 (Type/Class) | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
2 (Data Constructor) | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
satPrintModel | ToySolver.SAT.Printer |
SatResult | ToySolver.Data.FOL.Arith |
satToMaxSAT2 | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
SATToMaxSAT2Info | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
satToSimpleMaxCut | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
SATToSimpleMaxCutInfo | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
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 |
setConfBudget | ToySolver.SAT |
setConfig | |
1 (Function) | ToySolver.Arith.Simplex |
2 (Function) | ToySolver.SAT |
setEnableObjFunVarsHeuristics | ToySolver.SAT.PBO |
setEncodingChar8 | ToySolver.Internal.Util |
setFinished | ToySolver.SAT.PBO.Context |
setGlobalDeclarations | ToySolver.SMT |
setIterationLimit | ToySolver.SAT.MessagePassing.SurveyPropagation |
setLogger | |
1 (Function) | ToySolver.Arith.Simplex |
2 (Function) | ToySolver.Arith.MIP |
3 (Function) | ToySolver.SAT.PBO.Context |
4 (Function) | ToySolver.SAT |
5 (Function) | ToySolver.SAT.PBO |
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.Arith.MIP |
2 (Function) | ToySolver.SAT.PBO.Context |
3 (Function) | ToySolver.SAT.PBO |
setOnUpdateLowerBound | |
1 (Function) | ToySolver.SAT.PBO.Context |
2 (Function) | ToySolver.SAT.PBO |
setOptDir | ToySolver.Arith.Simplex |
setPivotStrategy | ToySolver.Arith.Simplex |
setRandomGen | |
1 (Function) | ToySolver.SAT |
2 (Function) | ToySolver.SAT.SLS.ProbSAT |
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 |
shortestImplicantsE | 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.PBO |
2 (Function) | ToySolver.SAT.MUS |
3 (Function) | ToySolver.SAT.MUS.Enum |
showModel | ToySolver.EUF.FiniteModelFinder |
showOp | ToySolver.Data.OrdRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.BitVector.Base, ToySolver.BitVector |
showPBHandlerType | ToySolver.SAT.Config, ToySolver.SAT |
showPivotStrategy | ToySolver.Arith.Simplex |
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.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
signExtend | ToySolver.BitVector.Base, ToySolver.BitVector |
simpARealPoly | ToySolver.Data.AlgebraicNumber.Real |
SimpleAtom | ToySolver.Arith.DifferenceLogic |
SimpleContext | ToySolver.SAT.PBO.Context |
SimpleMaxSAT2 | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
simpleMaxSAT2ToSimpleMaxCut | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
SimpleMaxSAT2ToSimpleMaxCutInfo | |
1 (Type/Class) | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
2 (Data Constructor) | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
SimpleProblem | |
1 (Type/Class) | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
2 (Data Constructor) | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
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 |
simplifyMaxSAT2 | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
SimplifyMaxSAT2Info | |
1 (Type/Class) | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
2 (Data Constructor) | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
Singleton | ToySolver.Graph.ShortestPath |
SMTLIB2 | ToySolver.Converter.MIP2SMT |
solObjectiveValue | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC |
solStatus | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC |
Solution | |
1 (Type/Class) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC |
2 (Data Constructor) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC |
3 (Type/Class) | ToySolver.MaxCut |
4 (Type/Class) | ToySolver.QUBO |
5 (Type/Class) | ToySolver.Text.SDPFile |
6 (Data Constructor) | ToySolver.Text.SDPFile |
solVariables | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC |
solve | |
1 (Function) | ToySolver.Combinatorial.Knapsack.BB |
2 (Function) | ToySolver.Combinatorial.Knapsack.DPDense |
3 (Function) | ToySolver.Combinatorial.Knapsack.DPSparse |
4 (Function) | ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver |
5 (Function) | ToySolver.Arith.VirtualSubstitution |
6 (Function) | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
7 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
8 (Function) | ToySolver.Arith.CAD |
9 (Function) | ToySolver.Arith.DifferenceLogic |
10 (Function) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
11 (Function) | ToySolver.Arith.Simplex.Textbook.LPSolver.Simple |
12 (Function) | ToySolver.Arith.ContiTraverso |
13 (Function) | ToySolver.SAT |
14 (Function) | ToySolver.SAT.PBO.UnsatBased |
15 (Function) | ToySolver.SAT.PBO.MSU4 |
16 (Function) | ToySolver.SAT.PBO.BCD2 |
17 (Function) | ToySolver.SAT.PBO.BCD |
18 (Function) | ToySolver.SAT.PBO.BC |
19 (Function) | ToySolver.QBF |
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 |
solveQE | ToySolver.QBF |
solveQE_CNF | ToySolver.QBF |
solveQFFormula | |
1 (Function) | ToySolver.Arith.VirtualSubstitution |
2 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
solveQFLIRAConj | |
1 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
2 (Function) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
Solver | |
1 (Type/Class) | ToySolver.EUF.CongruenceClosure |
2 (Type/Class) | ToySolver.EUF.EUFSolver |
3 (Type/Class) | ToySolver.Arith.Simplex |
4 (Type/Class) | ToySolver.Arith.MIP |
5 (Type/Class) | ToySolver.Arith.Simplex.Textbook.LPSolver |
6 (Type/Class) | ToySolver.SAT.MessagePassing.SurveyPropagation |
7 (Type/Class) | ToySolver.SAT |
8 (Type/Class) | ToySolver.BitVector.Solver, ToySolver.BitVector |
9 (Type/Class) | ToySolver.SAT.SLS.ProbSAT |
10 (Type/Class) | ToySolver.SMT |
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 |
Source | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
SourceObjValue | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
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 |
statFlips | ToySolver.SAT.SLS.ProbSAT |
statFlipsPerSecond | ToySolver.SAT.SLS.ProbSAT |
Statistics | |
1 (Type/Class) | ToySolver.SAT.SLS.ProbSAT |
2 (Data Constructor) | ToySolver.SAT.SLS.ProbSAT |
statTotalCPUTime | ToySolver.SAT.SLS.ProbSAT |
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 |
3 (Type/Class) | ToySolver.SAT.Encoder.Cardinality |
SturmChain | ToySolver.Data.AlgebraicNumber.Sturm |
sturmChain | ToySolver.Data.AlgebraicNumber.Sturm |
subsetSum | ToySolver.Combinatorial.SubsetSum |
subst | ToySolver.Data.Polynomial |
SugarStrategy | ToySolver.Data.Polynomial.GroebnerBasis |