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

toysolver-0.1.0: 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

cabook_proposition_5_10	ToySolver.Data.Polynomial.Factorization.Hensel.Internal
cabook_proposition_5_11	ToySolver.Data.Polynomial.Factorization.Hensel.Internal
cardinalityReduction	ToySolver.SAT.Types
ceiling'	ToySolver.Data.Delta
Cell	ToySolver.CAD
check	ToySolver.Simplex2
checkRealByCAD	ToySolver.OmegaTest.Misc
checkRealByFM	ToySolver.OmegaTest
checkRealBySimplex	ToySolver.OmegaTest.Misc
checkRealNoCheck	ToySolver.OmegaTest
Clause
1 (Type/Class)	ToySolver.SAT.Types, ToySolver.SAT
2 (Type/Class)	ToySolver.FOLModelFinder
clauses
1 (Function)	ToySolver.Text.GCNF
2 (Function)	ToySolver.Text.MaxSAT
clauseSubsume	ToySolver.SAT.Types
clear
1 (Function)	ToySolver.Internal.Data.SeqQueue
2 (Function)	ToySolver.Data.Vec
3 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
4 (Function)	ToySolver.Internal.Data.PriorityQueue
clearLogger	ToySolver.Simplex2
clone
1 (Function)	ToySolver.Data.Vec
2 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
3 (Function)	ToySolver.Internal.Data.PriorityQueue
cloneSolver	ToySolver.Simplex2
coeff
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
coeffMap
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
ColIndex	ToySolver.Simplex
collectBounds	ToySolver.FourierMotzkin.Core
collectNonnegVars	ToySolver.LPSolver
combineMaybe	ToySolver.Internal.Util
Complement	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
computeInterval	ToySolver.Data.LA, ToySolver.BoundsInference
conjugate	ToySolver.Data.AlgebraicNumber.Complex
Const	ToySolver.Data.FOL.Arith
constant
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
Constraint
1 (Type/Class)	ToySolver.Text.PBFile
2 (Type/Class)	ToySolver.Data.MIP
3 (Data Constructor)	ToySolver.Data.MIP
constraints	ToySolver.Data.MIP
constraintsToDNF	ToySolver.FourierMotzkin.Core
constrBody	ToySolver.Data.MIP
constrIndicator	ToySolver.Data.MIP
constrIsLazy	ToySolver.Data.MIP
constrLabel	ToySolver.Data.MIP
cont	ToySolver.Data.Polynomial
Context	ToySolver.SAT.PBO.Context
ContinuousVariable	ToySolver.Data.MIP
ContPP	ToySolver.Data.Polynomial
convert
1 (Function)	ToySolver.Converter.PB2LSP
2 (Function)	ToySolver.Converter.PB2WBO
3 (Function)	ToySolver.Converter.PB2SMP
4 (Function)	ToySolver.Converter.SAT2PB
5 (Function)	ToySolver.Converter.WBO2PB
6 (Function)	ToySolver.Converter.MaxSAT2WBO
7 (Function)	ToySolver.Converter.MaxSAT2NLPB
8 (Function)	ToySolver.Converter.PB2IP
9 (Function)	ToySolver.Converter.MaxSAT2IP
10 (Function)	ToySolver.Converter.SAT2IP
11 (Function)	ToySolver.Converter.MIP2SMT
convertWBO
1 (Function)	ToySolver.Converter.PB2LSP
2 (Function)	ToySolver.Converter.PB2IP
costs	ToySolver.Text.SDPFile
currentObjValue	ToySolver.Simplex
currentValue	ToySolver.Simplex
cutResolve	ToySolver.SAT.Types