toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc (Index - S)

toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
.
All

Index - S

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
showValue	Algorithm.Simplex2
showWBO	Text.PBFile
Sign	Data.Sign
signOf	Data.Sign
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.GroebnerBasis
SQFree	Data.Polynomial
sqfree
1 (Function)	Data.Polynomial
2 (Function)	Data.Polynomial.Factorization.FiniteField
sqfreeChar0	Data.Polynomial.Factorization.SquareFree
Strategy	Data.Polynomial.GroebnerBasis
SturmChain	Data.Polynomial.RootSeparation.Sturm
sturmChain	Data.Polynomial.RootSeparation.Sturm
subst	Data.Polynomial
SugarStrategy	Data.Polynomial.GroebnerBasis
Sum	Text.PBFile
symbol	Data.Sign