| S1 | Text.LPFile |
| S2 | Text.LPFile |
| Sat | Data.FOL.Arith |
| satPrintModel | SAT.Printer |
| SatResult | Data.FOL.Arith |
| SearchStrategy | SAT.PBO |
| SemiContinuousVariable | Text.LPFile |
| semiContinuousVariables | Text.LPFile |
| separate | Data.Polynomial.RootSeparation.Sturm |
| separate' | Data.Polynomial.RootSeparation.Sturm |
| setCCMin | SAT |
| setCheckModel | SAT |
| setConfBudget | SAT |
| setLearningStrategy | SAT |
| setLearntSizeFirst | SAT |
| setLearntSizeInc | SAT |
| setLogger | |
| 1 (Function) | SAT |
| 2 (Function) | Algorithm.Simplex2 |
| 3 (Function) | Algorithm.MIPSolver2 |
| setNThread | Algorithm.MIPSolver2 |
| setObj | |
| 1 (Function) | Converter.PBSetObj |
| 2 (Function) | Algorithm.Simplex2 |
| setObjFun | Algorithm.Simplex |
| setOptDir | Algorithm.Simplex2 |
| setPivotStrategy | Algorithm.Simplex2 |
| setRandomFreq | SAT |
| setRandomSeed | SAT |
| setRestartFirst | SAT |
| setRestartInc | SAT |
| setRestartStrategy | SAT |
| setRow | Algorithm.Simplex |
| setShowRational | Algorithm.MIPSolver2 |
| setUsePB | SAT.TseitinEncoder |
| setVarPolarity | SAT |
| showAtom | Data.LA |
| showEntity | Algorithm.FOLModelFinder |
| showExpr | Data.LA |
| showModel | Algorithm.FOLModelFinder |
| showOp | Data.ArithRel, Data.FOL.Arith |
| showOPB | Text.PBFile |
| showRational | Util |
| showRationalAsFiniteDecimal | Util |
| showSign | Data.Sign, Algorithm.CAD |
| showValue | Algorithm.Simplex2 |
| showWBO | Text.PBFile |
| Sign | Data.Sign, Algorithm.CAD |
| signDiv | Data.Sign, Algorithm.CAD |
| signMul | Data.Sign, Algorithm.CAD |
| signNegate | Data.Sign, Algorithm.CAD |
| signOf | Data.Sign, Algorithm.CAD |
| signPow | Data.Sign, Algorithm.CAD |
| signRecip | Data.Sign, Algorithm.CAD |
| simpARealPoly | Data.AlgebraicNumber.Real |
| simplex | |
| 1 (Function) | Algorithm.Simplex |
| 2 (Function) | Algorithm.LPSolver |
| SMTLIB2 | Converter.LP2SMT |
| SoftConstraint | Text.PBFile |
| SoftFormula | Text.PBFile |
| solve | |
| 1 (Function) | SAT |
| 2 (Function) | SAT.PBO.UnsatBased |
| 3 (Function) | SAT.PBO.MSU4 |
| 4 (Function) | Algorithm.ContiTraverso |
| 5 (Function) | Algorithm.LPSolverHL |
| 6 (Function) | Algorithm.CAD |
| 7 (Function) | Algorithm.FourierMotzkin.Core, Algorithm.FourierMotzkin |
| 8 (Function) | Algorithm.Cooper.Core, Algorithm.Cooper |
| 9 (Function) | Algorithm.OmegaTest |
| solve' | |
| 1 (Function) | Algorithm.ContiTraverso |
| 2 (Function) | Algorithm.CAD |
| 3 (Function) | Algorithm.FourierMotzkin.Core |
| solveFor | Data.LA |
| solveFormula | |
| 1 (Function) | Algorithm.FourierMotzkin.FOL, Algorithm.FourierMotzkin |
| 2 (Function) | Algorithm.Cooper.FOL, Algorithm.Cooper |
| solveQFFormula | Algorithm.Cooper.Core, Algorithm.Cooper |
| solveQFLA | |
| 1 (Function) | Algorithm.Cooper.Core, Algorithm.Cooper |
| 2 (Function) | Algorithm.OmegaTest |
| Solver | |
| 1 (Type/Class) | SAT |
| 2 (Type/Class) | Algorithm.CongruenceClosure |
| 3 (Type/Class) | Algorithm.LPSolver |
| 4 (Type/Class) | Algorithm.Simplex2 |
| 5 (Type/Class) | Algorithm.MIPSolver2 |
| SolverValue | Algorithm.Simplex2 |
| solveWBO | |
| 1 (Function) | SAT.PBO.UnsatBased |
| 2 (Function) | SAT.PBO.MSU4 |
| solveWith | SAT |
| SOS | Text.LPFile |
| sos | Text.LPFile |
| SOSType | Text.LPFile |
| spolynomial | Data.Polynomial.GBasis |
| sqfree | |
| 1 (Function) | Data.Polynomial.Factorization.FiniteField |
| 2 (Function) | Data.Polynomial.Factorization.SquareFree |
| Strategy | Data.Polynomial.GBasis |
| SturmChain | Data.Polynomial.RootSeparation.Sturm |
| sturmChain | Data.Polynomial.RootSeparation.Sturm |
| subst | Data.Polynomial |
| substA | Data.Polynomial |
| substM | Data.Polynomial |
| SugarStrategy | Data.Polynomial.GBasis |
| Sum | Text.PBFile |