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

toysolver-0.0.5: 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
1 (Function)	Data.Polynomial.Factorization.FiniteField
2 (Function)	Data.Polynomial.Factorization.Integer
3 (Function)	Data.Polynomial.Factorization.Rational
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
fromMonomial	Data.Polynomial
fromRat	Algorithm.FourierMotzkin.Core
fromReal	Data.Delta
fromTerms
1 (Function)	Data.Polynomial
2 (Function)	Data.LA
FSym	Algorithm.FOLModelFinder
FTApp	Algorithm.CongruenceClosure
FTConst	Algorithm.CongruenceClosure