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

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 - C

cardinalityReduction	SAT.Types
ceiling'	Data.Delta
Cell	Algorithm.CAD
check	Algorithm.Simplex2
checkRealByCAD	Algorithm.OmegaTest.Misc
checkRealByFM	Algorithm.OmegaTest
checkRealBySimplex	Algorithm.OmegaTest.Misc
checkRealNoCheck	Algorithm.OmegaTest
Clause
1 (Type/Class)	SAT.Types, SAT
2 (Type/Class)	Algorithm.FOLModelFinder
clauses
1 (Function)	Text.GCNF
2 (Function)	Text.MaxSAT
clearArtificialVariables	Algorithm.LPSolver
clearLogger	Algorithm.Simplex2
cloneSolver	Algorithm.Simplex2
coeff
1 (Function)	Data.Polynomial
2 (Function)	Data.LA
coeffMap
1 (Function)	Data.Polynomial
2 (Function)	Data.LA
ColIndex	Algorithm.Simplex
collectNonnegVars	Algorithm.LPSolver
combineMaybe	Util
Complement	Algebra.Lattice.Boolean, Data.FOL.Formula, Data.FOL.Arith
computeInterval	Data.LA, Algorithm.BoundsInference
Const	Data.FOL.Arith
constant
1 (Function)	Data.Polynomial
2 (Function)	Data.LA
Constraint
1 (Type/Class)	Text.PBFile
2 (Type/Class)	Text.LPFile
3 (Data Constructor)	Text.LPFile
constraints	Text.LPFile
ConstraintType	Text.LPFile
constrBody	Text.LPFile
constrIndicator	Text.LPFile
constrLabel	Text.LPFile
constrType	Text.LPFile
cont	Data.Polynomial
ContinuousVariable	Text.LPFile
ContPP	Data.Polynomial
convert
1 (Function)	Converter.PB2LSP
2 (Function)	Converter.PB2WBO
3 (Function)	Converter.PB2SMP
4 (Function)	Converter.SAT2PB
5 (Function)	Converter.WBO2PB
6 (Function)	Converter.MaxSAT2WBO
7 (Function)	Converter.MaxSAT2NLPB
8 (Function)	Converter.LP2SMT
9 (Function)	Converter.PB2LP
10 (Function)	Converter.MaxSAT2LP
11 (Function)	Converter.SAT2LP
convertWBO	Converter.PB2LP
costs	Text.SDPFile
currentObjValue	Algorithm.Simplex
cutResolve	SAT.Types