Contents
Index
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 - F
F
1 (Data Constructor)
Algorithm.FOLModelFinder
2 (Data Constructor)
Data.FOL.Formula
, Data.FOL.Arith
F'
Algorithm.Cooper.Core
,
Algorithm.Cooper
Factor
Data.Polynomial
factor
1 (Function)
Data.Polynomial
2 (Function)
Data.Polynomial.Factorization.FiniteField
3 (Function)
Data.Polynomial.Factorization.Zassenhaus
4 (Function)
Data.Polynomial.Factorization.Kronecker
failedAssumptions
SAT
false
Algebra.Lattice.Boolean
, Data.FOL.Formula, Data.FOL.Arith
findModel
Algorithm.FOLModelFinder
findMUSAssumptions
SAT.MUS
findPoly
Data.AlgebraicNumber.Root
findSample
Algorithm.CAD
Finite
Text.LPFile
FlatTerm
Algorithm.CongruenceClosure
flipOp
Data.ArithRel
, Data.FOL.Arith
floor'
Data.Delta
Forall
1 (Data Constructor)
Algorithm.FOLModelFinder
2 (Data Constructor)
Data.FOL.Formula
, Data.FOL.Arith
Formula
1 (Type/Class)
Text.PBFile
2 (Type/Class)
SAT.TseitinEncoder
3 (Type/Class)
Algorithm.FOLModelFinder
4 (Type/Class)
Data.FOL.Formula
, Data.FOL.Arith
fracPart
Util
fromCoeffMap
1 (Function)
Data.Polynomial
2 (Function)
Data.LA
fromFOLAtom
Data.LA.FOL
fromFOLExpr
Data.LA.FOL
fromLAAtom
1 (Function)
Algorithm.FourierMotzkin.Core
2 (Function)
Algorithm.Cooper.Core
,
Algorithm.Cooper
fromRat
Algorithm.FourierMotzkin.Core
fromReal
Data.Delta
fromTerm
Data.Polynomial
fromTerms
1 (Function)
Data.Polynomial
2 (Function)
Data.LA
FSym
Algorithm.FOLModelFinder
FTApp
Algorithm.CongruenceClosure
FTConst
Algorithm.CongruenceClosure