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

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

F
1 (Data Constructor)	ToySolver.FOLModelFinder
2 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
3 (Data Constructor)	ToySolver.Cooper.Core, ToySolver.Cooper
Factor	ToySolver.Data.Polynomial
factor
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.Polynomial.Factorization.FiniteField
3 (Function)	ToySolver.Data.Polynomial.Factorization.Zassenhaus
4 (Function)	ToySolver.Data.Polynomial.Factorization.Kronecker
failedAssumptions	ToySolver.SAT
Failure
1 (Type/Class)	ToySolver.HittingSet.SHD
2 (Data Constructor)	ToySolver.HittingSet.SHD
3 (Type/Class)	ToySolver.HittingSet.HTCBDD
4 (Data Constructor)	ToySolver.HittingSet.HTCBDD
false	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
findModel	ToySolver.FOLModelFinder
findMUSAssumptions	ToySolver.SAT.MUS
findPoly	ToySolver.Data.AlgebraicNumber.Root
findSample	ToySolver.CAD
Finite	ToySolver.Data.MIP
FlatTerm	ToySolver.CongruenceClosure
flipOp	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
floor'	ToySolver.Data.Delta
Forall
1 (Data Constructor)	ToySolver.FOLModelFinder
2 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
Formula
1 (Type/Class)	ToySolver.Text.PBFile
2 (Data Constructor)	ToySolver.Text.PBFile
3 (Type/Class)	ToySolver.SAT.TseitinEncoder
4 (Type/Class)	ToySolver.FOLModelFinder
5 (Type/Class)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
fracPart	ToySolver.Internal.Util
fromCoeffMap
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
fromFOLAtom	ToySolver.Data.LA.FOL
fromFOLExpr	ToySolver.Data.LA.FOL
fromLAAtom
1 (Function)	ToySolver.FourierMotzkin.Core
2 (Function)	ToySolver.Cooper.Core, ToySolver.Cooper
fromRat	ToySolver.FourierMotzkin.Core
fromReal	ToySolver.Data.Delta
fromTerm	ToySolver.Data.Polynomial
fromTerms
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
fromVar	ToySolver.Data.MIP
FSym	ToySolver.FOLModelFinder
FTApp	ToySolver.CongruenceClosure
FTConst	ToySolver.CongruenceClosure