| 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 |
| SearchStrategy | ToySolver.SAT.PBO |
| 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 |
| setEnableBackwardSubsumptionRemoval | ToySolver.SAT |
| setEnableForwardSubsumptionRemoval | ToySolver.SAT |
| setEnableObjFunVarsHeuristics | ToySolver.SAT.PBO |
| setEnablePhaseSaving | ToySolver.SAT |
| setFinished | ToySolver.SAT.PBO.Context |
| 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.Simplex2 |
| 5 (Function) | ToySolver.Arith.MIPSolver2 |
| setNThread | ToySolver.Arith.MIPSolver2 |
| setObj | |
| 1 (Function) | ToySolver.Converter.PBSetObj |
| 2 (Function) | ToySolver.Arith.Simplex2 |
| setObjFun | ToySolver.Arith.Simplex |
| setOnUpdateBestSolution | |
| 1 (Function) | ToySolver.SAT.PBO.Context |
| 2 (Function) | ToySolver.SAT.PBO |
| 3 (Function) | ToySolver.Arith.MIPSolver2 |
| setOnUpdateLowerBound | |
| 1 (Function) | ToySolver.SAT.PBO.Context |
| 2 (Function) | ToySolver.SAT.PBO |
| setOptDir | ToySolver.Arith.Simplex2 |
| setPBHandlerType | ToySolver.SAT |
| setPBSplitClausePart | ToySolver.SAT |
| setPivotStrategy | ToySolver.Arith.Simplex2 |
| setRandomFreq | ToySolver.SAT |
| setRandomGen | ToySolver.SAT |
| setRestartFirst | ToySolver.SAT |
| setRestartInc | ToySolver.SAT |
| setRestartStrategy | ToySolver.SAT |
| setSearchStrategy | ToySolver.SAT.PBO |
| setShowRational | ToySolver.Arith.MIPSolver2 |
| setTheory | ToySolver.SAT |
| setTrialLimitConf | ToySolver.SAT.PBO |
| setUnsat | ToySolver.SAT.PBO.Context |
| setUsePB | ToySolver.SAT.TseitinEncoder |
| setVarPolarity | ToySolver.SAT |
| showAtom | ToySolver.Data.LA |
| showEntity | ToySolver.FOLModelFinder |
| showExpr | ToySolver.Data.LA |
| showModel | ToySolver.FOLModelFinder |
| showOp | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith |
| showRational | ToySolver.Internal.Util |
| showRationalAsFiniteDecimal | ToySolver.Internal.Util |
| showValue | ToySolver.Arith.Simplex2 |
| simpARealPoly | ToySolver.Data.AlgebraicNumber.Real |
| SimpleContext | ToySolver.SAT.PBO.Context |
| simplex | |
| 1 (Function) | ToySolver.Arith.Simplex |
| 2 (Function) | ToySolver.Arith.LPSolver |
| simplify | |
| 1 (Function) | ToySolver.Data.BoolExpr |
| 2 (Function) | ToySolver.Arith.FourierMotzkin.Base |
| SMTLIB2 | ToySolver.Converter.MIP2SMT |
| solve | |
| 1 (Function) | ToySolver.Combinatorial.Knapsack.DP |
| 2 (Function) | ToySolver.Combinatorial.Knapsack.BB |
| 3 (Function) | ToySolver.SAT |
| 4 (Function) | ToySolver.SAT.PBO.BC |
| 5 (Function) | ToySolver.SAT.PBO.BCD |
| 6 (Function) | ToySolver.SAT.PBO.BCD2 |
| 7 (Function) | ToySolver.SAT.PBO.UnsatBased |
| 8 (Function) | ToySolver.SAT.PBO.MSU4 |
| 9 (Function) | ToySolver.Arith.CAD |
| 10 (Function) | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| 11 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| 12 (Function) | ToySolver.Arith.VirtualSubstitution |
| 13 (Function) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| 14 (Function) | ToySolver.Arith.ContiTraverso |
| 15 (Function) | ToySolver.Arith.LPSolverHL |
| solve' | |
| 1 (Function) | ToySolver.Arith.CAD |
| 2 (Function) | ToySolver.Arith.FourierMotzkin.Base |
| 3 (Function) | ToySolver.Arith.ContiTraverso |
| solveFor | ToySolver.Data.LA |
| solveFormula | |
| 1 (Function) | ToySolver.Arith.FourierMotzkin.FOL, ToySolver.Arith.FourierMotzkin |
| 2 (Function) | ToySolver.Arith.Cooper.FOL, ToySolver.Arith.Cooper |
| solveQFFormula | |
| 1 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| 2 (Function) | ToySolver.Arith.VirtualSubstitution |
| solveQFLIRAConj | |
| 1 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| 2 (Function) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| Solver | |
| 1 (Type/Class) | ToySolver.SAT |
| 2 (Type/Class) | ToySolver.CongruenceClosure |
| 3 (Type/Class) | ToySolver.Arith.Simplex2 |
| 4 (Type/Class) | ToySolver.Arith.MIPSolver2 |
| 5 (Type/Class) | ToySolver.Arith.LPSolver |
| SolverValue | ToySolver.Arith.Simplex2 |
| solveWith | ToySolver.SAT |
| 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 |
| SS | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA, ToySolver.SAT.MUS.QuickXplain |
| Strategy | ToySolver.Data.Polynomial.GroebnerBasis |
| SturmChain | ToySolver.Data.AlgebraicNumber.Sturm |
| sturmChain | ToySolver.Data.AlgebraicNumber.Sturm |
| subst | ToySolver.Data.Polynomial |
| SugarStrategy | ToySolver.Data.Polynomial.GroebnerBasis |