Index

.=.	Jukebox.Form
.=>.	Jukebox.Form
/\	Jukebox.Form
:::
1 (Type/Class)	Jukebox.Name
2 (Data Constructor)	Jukebox.Name
:=:	Jukebox.Form
:>	Jukebox.UnionFind
:@:	Jukebox.Form
<?>	Jukebox.TPTP.Parsec
=:=	Jukebox.UnionFind
=>>	Jukebox.Toolbox
=>>=	Jukebox.Toolbox
addClause	Jukebox.Sat
addForm	Jukebox.HighSat
allFiles	Jukebox.Toolbox
allFilesBox	Jukebox.Toolbox
allObligsBox	Jukebox.Toolbox
allObligsIO	Jukebox.Toolbox
And
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
3 (Data Constructor)	Jukebox.HighSat
andCost	Jukebox.Clausify
Annotated
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
annotateMonotonicity	Jukebox.Monotonox.Monotonicity
annotateMonotonicityBox	Jukebox.Toolbox
Answer	Jukebox.Form
Apply
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
applyFunction	Jukebox.TPTP.Parse.Core
arg	Jukebox.Options
ArgDesc	Jukebox.Options
argError	Jukebox.Options
argFile	Jukebox.Options
argFiles	Jukebox.Options
argList	Jukebox.Options
argName	Jukebox.Options
argNum	Jukebox.Options
argNums	Jukebox.Options
argOption	Jukebox.Options
ArgParser	Jukebox.Options
args
1 (Function)	Jukebox.Options
2 (Function)	Jukebox.Form
argUsage	Jukebox.Options
arity	Jukebox.Form
arrow	Jukebox.TPTP.Parse.Core
Assumption	Jukebox.TPTP.Lexer
At	Jukebox.TPTP.Lexer
atIndex	Jukebox.HighSat
Atom	Jukebox.TPTP.Lexer
atom	Jukebox.TPTP.Parse.Core
Atomic
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
await	Jukebox.Options
awaitP	Jukebox.Options
Axiom
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
axioms	Jukebox.Form
base	Jukebox.Name
Basic	Jukebox.Name
between	Jukebox.TPTP.Parsec
Binary	Jukebox.Form
Bind
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
bind	Jukebox.Form
binder	Jukebox.TPTP.Parse.Core
Bind_	Jukebox.Form
binExpr	Jukebox.TPTP.Parse.Core
bool	Jukebox.Options
bottom3	Jukebox.Sat3
bracks	Jukebox.TPTP.Parse.Core
cases	Jukebox.GuessModel
cases1	Jukebox.GuessModel
check	Jukebox.Form
checkBinder	Jukebox.Form
Clause
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
clause
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.Monotonox.Monotonicity
Clause_	Jukebox.Form
clausForm	Jukebox.Clausify
clausify	Jukebox.Clausify
clausifyBox	Jukebox.Toolbox
ClausifyFlags
1 (Type/Class)	Jukebox.Clausify
2 (Data Constructor)	Jukebox.Clausify
clausifyFlags	Jukebox.Clausify
clausifyIO	Jukebox.Toolbox
closeForm	Jukebox.Form
CNF
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
Cnf	Jukebox.TPTP.Lexer
cnf
1 (Function)	Jukebox.TPTP.Parse.Core
2 (Function)	Jukebox.TPTP.ParseSnippet
3 (Function)	Jukebox.Clausify
CNF_	Jukebox.Form
collect	Jukebox.Form
Colon	Jukebox.TPTP.Lexer
Comma	Jukebox.TPTP.Lexer
compareName	Jukebox.Name
compoundType	Jukebox.TPTP.Parse.Core
conflict	Jukebox.Sat
Conjecture
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
conjectures	Jukebox.Form
Connective
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
connective	Jukebox.Form
Cons	Jukebox.TPTP.Lexer
Const	Jukebox.Form
consume	Jukebox.Options
Contents	Jukebox.TPTP.Lexer
CopyExtend	Jukebox.Monotonox.Monotonicity
Cost	Jukebox.Clausify
counter	Jukebox.SatEq
cross	Jukebox.Clausify
cut	Jukebox.TPTP.Parsec
cut'	Jukebox.TPTP.Parsec
DDistinct	Jukebox.TPTP.Lexer
debugging	Jukebox.Form
defaultRenamer	Jukebox.Name
Defined
1 (Type/Class)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Lexer
defined
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.TPTP.Parse.Core
defined'	Jukebox.TPTP.Parse.Core
Definition	Jukebox.TPTP.Lexer
deleteSolver	Jukebox.Sat
DependentProduct	Jukebox.TPTP.Lexer
DependentSum	Jukebox.TPTP.Lexer
descr	Jukebox.Options
DFalse	Jukebox.TPTP.Lexer
DI	Jukebox.TPTP.Lexer
DistinctObject	Jukebox.TPTP.Lexer
DItef	Jukebox.TPTP.Lexer
DItet	Jukebox.TPTP.Lexer
DO	Jukebox.TPTP.Lexer
DomainSize	Jukebox.Form
Dot	Jukebox.TPTP.Lexer
DTrue	Jukebox.TPTP.Lexer
DTType	Jukebox.TPTP.Lexer
EFlags
1 (Type/Class)	Jukebox.Provers.E
2 (Data Constructor)	Jukebox.Provers.E
eflags	Jukebox.Provers.E
Elt
1 (Type/Class)	Jukebox.SatEq
2 (Data Constructor)	Jukebox.SatEq
Eof	Jukebox.TPTP.Lexer
eof	Jukebox.TPTP.Parsec
eprover	Jukebox.Provers.E
Eq	Jukebox.TPTP.Lexer
EqSolver	Jukebox.SatEq
equal	Jukebox.SatEq
equals	Jukebox.Monotonox.ToFOF
Equiv	Jukebox.Form
Error
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Parsec
3 (Type/Class)	Jukebox.Options
4 (Data Constructor)	Jukebox.Options
evalUF	Jukebox.UnionFind
execUF	Jukebox.UnionFind
Exists
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
exists	Jukebox.Monotonox.ToFOF
ExistsLam	Jukebox.TPTP.Lexer
Expected	Jukebox.TPTP.Parsec
expected	Jukebox.TPTP.Parsec
Extension	Jukebox.Monotonox.Monotonicity
extension	Jukebox.Monotonox.Monotonicity
extractAnswer
1 (Function)	Jukebox.Provers.E
2 (Function)	Jukebox.Provers.SPASS
false
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.HighSat
false3	Jukebox.Sat3
FalseExtend	Jukebox.Monotonox.Monotonicity
FalseExtended	Jukebox.Monotonox.Monotonicity
fatalError	Jukebox.TPTP.Parsec
FiDomain	Jukebox.TPTP.Lexer
FiHypothesis	Jukebox.TPTP.Lexer
filenames	Jukebox.Options
findFile	Jukebox.TPTP.FindFile
findFileFlags	Jukebox.TPTP.FindFile
findFileTPTP	Jukebox.TPTP.FindFile
Finite	Jukebox.Form
FiPredicates	Jukebox.TPTP.Lexer
Fixed	Jukebox.Name
FixedName	Jukebox.Name
Flag
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
flag	Jukebox.Options
flagArgs	Jukebox.Options
flagGroup	Jukebox.Options
flagHelp	Jukebox.Options
flagName	Jukebox.Options
flatten	Jukebox.HighSat
Fof	Jukebox.TPTP.Lexer
fof	Jukebox.TPTP.Parse.Core
Follows
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
ForAll
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
forAll
1 (Function)	Jukebox.Clausify
2 (Function)	Jukebox.Monotonox.ToFOF
ForAllLam	Jukebox.TPTP.Lexer
forAllOr	Jukebox.Clausify
force	Jukebox.Form
Form
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
3 (Type/Class)	Jukebox.HighSat
form	Jukebox.TPTP.ParseSnippet
Formula	Jukebox.TPTP.Parse.Core
formula	Jukebox.TPTP.Parse.Core
FormulaLike	Jukebox.TPTP.Parse.Core
free	Jukebox.Form
fromFormula	Jukebox.TPTP.Parse.Core
fromModel	Jukebox.Monotonox.Monotonicity
fromThing	Jukebox.TPTP.Parse.Core
Fun	Jukebox.TPTP.Parse.Core
funArgs	Jukebox.Form
FunArrow	Jukebox.TPTP.Lexer
funcAxiom	Jukebox.Monotonox.ToFOF
Function	Jukebox.Form
function	Jukebox.GuessModel
Function'	Jukebox.InferTypes
functions	Jukebox.Form
FunType
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
GaveUp	Jukebox.Form
generate	Jukebox.InferTypes
getEffectiveArgs	Jukebox.Options
getName	Jukebox.Clausify
getSolver	Jukebox.Sat
getSolverEq	Jukebox.SatEq
getState	Jukebox.TPTP.Parsec
getTPTPDirs	Jukebox.TPTP.FindFile
GlobalFlags
1 (Type/Class)	Jukebox.Toolbox
2 (Data Constructor)	Jukebox.Toolbox
globalFlags	Jukebox.Toolbox
greeting	Jukebox.Options
greetingBox	Jukebox.Toolbox
greetingBoxIO	Jukebox.Toolbox
ground	Jukebox.Form
guard	Jukebox.Monotonox.ToFOF
guards
1 (Function)	Jukebox.Monotonox.Monotonicity
2 (Function)	Jukebox.Monotonox.ToFOF
guards1	Jukebox.Monotonox.ToFOF
guardsAxiom	Jukebox.Monotonox.ToFOF
guardsTypeAxiom	Jukebox.Monotonox.ToFOF
guessModel	Jukebox.GuessModel
guessModelBox	Jukebox.Toolbox
guessModelIO	Jukebox.Toolbox
help	Jukebox.Options
helpTool	Jukebox.Options
Hypothesis	Jukebox.TPTP.Lexer
ids	Jukebox.Form
Iff	Jukebox.TPTP.Lexer
Implies
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Include
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
include	Jukebox.TPTP.Parse.Core
IncludeStatement	Jukebox.TPTP.Parse.Core
ind	Jukebox.GuessModel
individual	Jukebox.TPTP.Parse.Core
inferBox	Jukebox.Toolbox
inferTypes	Jukebox.InferTypes
Infinite	Jukebox.Form
inGroup	Jukebox.Options
initial	Jukebox.UnionFind
initialState	Jukebox.TPTP.Parse.Core
initialStateFrom	Jukebox.TPTP.Parse.Core
Input
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
input	Jukebox.TPTP.Parse.Core
Input_	Jukebox.Form
Integer	Jukebox.Name
intType	Jukebox.TPTP.Parse.Core
io	Jukebox.Options
isFalse
1 (Function)	Jukebox.Sat3
2 (Function)	Jukebox.Form
isFof	Jukebox.Form
isRep	Jukebox.UnionFind
isTrue
1 (Function)	Jukebox.Sat3
2 (Function)	Jukebox.Form
justify	Jukebox.Options
Keyword	Jukebox.TPTP.Lexer
keyword
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.TPTP.Parse.Core
keyword'	Jukebox.TPTP.Parse.Core
keywords	Jukebox.SMTLIB
Kind	Jukebox.Form
kind
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.TPTP.Parse.Core
Lambda	Jukebox.TPTP.Lexer
LBrack	Jukebox.TPTP.Lexer
leaf	Jukebox.TPTP.Parse.Core
Lemma	Jukebox.TPTP.Lexer
Let	Jukebox.TPTP.Lexer
LetTerm	Jukebox.TPTP.Lexer
lhs	Jukebox.Name
List	Jukebox.Form
Lit
1 (Type/Class)	Jukebox.Sat
2 (Data Constructor)	Jukebox.HighSat
lit	Jukebox.HighSat
Lit3
1 (Type/Class)	Jukebox.Sat3
2 (Data Constructor)	Jukebox.Sat3
Literal
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
literal
1 (Function)	Jukebox.Monotonox.Monotonicity
2 (Function)	Jukebox.TPTP.Parse.Core
3 (Function)	Jukebox.Clausify
localMin	Jukebox.SatMin
Location
1 (Type/Class)	Jukebox.TPTP.Parse.Core
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
lookupFunction	Jukebox.TPTP.Parse.Core
lookupType	Jukebox.TPTP.Parse.Core
LParen	Jukebox.TPTP.Lexer
M	Jukebox.Clausify
makeCopyable	Jukebox.Clausify
makeFunction	Jukebox.Monotonox.ToFOF
makeLocation	Jukebox.TPTP.Parse.Core
makeOr	Jukebox.Clausify
mangleAnswer	Jukebox.Provers.E
manyFlags	Jukebox.Options
mapName	Jukebox.Form
mapType	Jukebox.Form
memory	Jukebox.Provers.E
merge	Jukebox.Utils
miniscope	Jukebox.Clausify
Mistake	Jukebox.Options
MkState	Jukebox.TPTP.Parse.Core
Mode	Jukebox.TPTP.Parse.Core
model
1 (Function)	Jukebox.SatEq
2 (Function)	Jukebox.HighSat
modelRep	Jukebox.SatEq
modelValue
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.HighSat
modelValue3	Jukebox.Sat3
monotone	Jukebox.Monotonox.Monotonicity
monotonicity	Jukebox.Toolbox
monotonicityBox	Jukebox.Toolbox
naked	Jukebox.Monotonox.ToFOF
Name	Jukebox.Name
name	Jukebox.Name
Named	Jukebox.Name
NameM
1 (Type/Class)	Jukebox.Name
2 (Data Constructor)	Jukebox.Name
names	Jukebox.Form
Nand
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Neg	Jukebox.Form
neg
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
neg3	Jukebox.Sat3
NegatedConjecture	Jukebox.TPTP.Lexer
Neq	Jukebox.TPTP.Lexer
newElt	Jukebox.SatEq
newFormula	Jukebox.TPTP.Parse.Core
newFunction
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.TPTP.Parse.Core
newLit	Jukebox.Sat
newLit2	Jukebox.Sat3
newLit3	Jukebox.Sat3
newName	Jukebox.Name
newSolver	Jukebox.Sat
newSolverEq	Jukebox.SatEq
newSymbol	Jukebox.Form
newType	Jukebox.Form
next	Jukebox.TPTP.Parsec
No	Jukebox.Options
NoAnswer	Jukebox.Form
NoAnswerReason	Jukebox.Form
nonempty	Jukebox.TPTP.Parsec
NoQuantification	Jukebox.TPTP.Parse.Core
Nor
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Normal	Jukebox.TPTP.Lexer
normAtomic	Jukebox.Form
Not
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
notInwards	Jukebox.Form
nt
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.HighSat
Number	Jukebox.TPTP.Lexer
number	Jukebox.TPTP.Parse.Core
O	Jukebox.Form
Ok	Jukebox.TPTP.Parsec
oneConjecture	Jukebox.Toolbox
oneConjectureBox	Jukebox.Toolbox
OptionParser	Jukebox.Options
Or
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
3 (Data Constructor)	Jukebox.HighSat
orCost	Jukebox.Clausify
Overloaded	Jukebox.Name
parens	Jukebox.TPTP.Parse.Core
ParParser
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
Parsec
1 (Type/Class)	Jukebox.TPTP.Parsec
2 (Data Constructor)	Jukebox.TPTP.Parsec
parseCommandLine	Jukebox.Options
ParsecState	Jukebox.TPTP.Parse.Core
parseError	Jukebox.TPTP.Parsec
ParseFailed	Jukebox.TPTP.Parse.Core
parseProblem
1 (Function)	Jukebox.TPTP.Parse.Core
2 (Function)	Jukebox.TPTP.Parse
parseProblemBox	Jukebox.Toolbox
parseProblemFrom	Jukebox.TPTP.Parse.Core
parseProblemIO	Jukebox.Toolbox
parseProblemWith	Jukebox.TPTP.Parse
Parser	Jukebox.TPTP.Parse.Core
parser
1 (Function)	Jukebox.Options
2 (Function)	Jukebox.TPTP.Parse.Core
ParseResult
1 (Type/Class)	Jukebox.Options
2 (Type/Class)	Jukebox.TPTP.Parse.Core
ParseStalled	Jukebox.TPTP.Parse.Core
ParseState	Jukebox.TPTP.Parse.Core
parseString	Jukebox.TPTP.Parse
ParseSucceeded	Jukebox.TPTP.Parse.Core
Peano	Jukebox.GuessModel
peano	Jukebox.GuessModel
peek	Jukebox.Options
Plain	Jukebox.TPTP.Lexer
Plus	Jukebox.TPTP.Lexer
popen	Jukebox.Utils
Pos
1 (Type/Class)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Lexer
3 (Data Constructor)	Jukebox.Form
pos	Jukebox.Form
Position	Jukebox.TPTP.Parsec
position	Jukebox.TPTP.Parsec
positive	Jukebox.Form
pPrintAtomic	Jukebox.SMTLIB
pPrintClauses	Jukebox.TPTP.Print
pPrintDecls	Jukebox.SMTLIB
pPrintForm	Jukebox.SMTLIB
pPrintInput	Jukebox.SMTLIB
pPrintName	Jukebox.SMTLIB
pPrintProblem
1 (Function)	Jukebox.TPTP.Print
2 (Function)	Jukebox.SMTLIB
pPrintQuant	Jukebox.SMTLIB
pPrintTerm	Jukebox.SMTLIB
pPrintType	Jukebox.SMTLIB
PrefixParser
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
prettyNames	Jukebox.TPTP.Print
prettyPrintClausesBox	Jukebox.Toolbox
prettyPrintIO	Jukebox.Toolbox
prettyPrintProblemBox	Jukebox.Toolbox
prettyPrintProblemSMTBox	Jukebox.Toolbox
prettyShow	Jukebox.TPTP.Print
primToken	Jukebox.TPTP.Parsec
printHelp	Jukebox.Options
printInferredBox	Jukebox.Toolbox
Problem	Jukebox.Form
Prod	Jukebox.TPTP.Parse.Core
prod	Jukebox.TPTP.Parse.Core
Punct
1 (Type/Class)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Lexer
punct	Jukebox.TPTP.Parse.Core
punct'	Jukebox.TPTP.Parse.Core
putState	Jukebox.TPTP.Parsec
quantified	Jukebox.TPTP.Parse.Core
Question
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
quiet	Jukebox.Toolbox
Rational
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Name
ratNumber	Jukebox.TPTP.Parse.Core
ratType	Jukebox.TPTP.Parse.Core
ratValue	Jukebox.TPTP.Lexer
RBrack	Jukebox.TPTP.Lexer
Real
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Name
realNumber	Jukebox.TPTP.Parse.Core
realType	Jukebox.TPTP.Parse.Core
recursively	Jukebox.Form
recursivelyM	Jukebox.Form
removeEquiv	Jukebox.Clausify
removeEquivAux	Jukebox.Clausify
removeExists	Jukebox.Clausify
removeExpensiveOr	Jukebox.Clausify
removeExpensiveOrAux	Jukebox.Clausify
renameAvoidingKeywords	Jukebox.SMTLIB
Renamer	Jukebox.Name
renamer	Jukebox.Name
renameTPTP	Jukebox.SMTLIB
Renaming
1 (Type/Class)	Jukebox.Name
2 (Data Constructor)	Jukebox.Name
renamings	Jukebox.SMTLIB
Rep	Jukebox.Form
rep
1 (Function)	Jukebox.UnionFind
2 (Function)	Jukebox.Form
rep'	Jukebox.Form
Replacement	Jukebox.UnionFind
Reply	Jukebox.TPTP.Parsec
reps	Jukebox.UnionFind
res	Jukebox.Form
Result	Jukebox.TPTP.Parsec
rhs	Jukebox.Name
rhss	Jukebox.GuessModel
RParen	Jukebox.TPTP.Lexer
run
1 (Function)	Jukebox.TPTP.Parsec
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.Clausify
runE	Jukebox.Provers.E
runNameM	Jukebox.Name
runPar	Jukebox.Options
runParsec	Jukebox.TPTP.Parsec
runPref	Jukebox.Options
runSat	Jukebox.HighSat
runSat1	Jukebox.HighSat
runSat1_	Jukebox.HighSat
runSat_	Jukebox.HighSat
runSPASS	Jukebox.Provers.SPASS
runUF	Jukebox.UnionFind
run_	Jukebox.TPTP.Parsec
S	Jukebox.UnionFind
safe	Jukebox.Monotonox.Monotonicity
Sat
1 (Type/Class)	Jukebox.HighSat
2 (Data Constructor)	Jukebox.HighSat
Sat1
1 (Type/Class)	Jukebox.HighSat
2 (Data Constructor)	Jukebox.HighSat
Satisfiable	Jukebox.Form
satisfiable	Jukebox.Form
satisfy	Jukebox.TPTP.Parsec
SatSolver	Jukebox.Sat
satSolver	Jukebox.SatEq
SatState
1 (Type/Class)	Jukebox.HighSat
2 (Data Constructor)	Jukebox.HighSat
scan	Jukebox.TPTP.Lexer
Scheme
1 (Type/Class)	Jukebox.Monotonox.ToFOF
2 (Data Constructor)	Jukebox.Monotonox.ToFOF
Scheme1
1 (Type/Class)	Jukebox.Monotonox.ToFOF
2 (Data Constructor)	Jukebox.Monotonox.ToFOF
scheme1	Jukebox.Monotonox.ToFOF
schemeBox	Jukebox.Toolbox
section	Jukebox.TPTP.Parse.Core
sepBy1	Jukebox.TPTP.Parsec
SeqParser
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
SequentArrow	Jukebox.TPTP.Lexer
sexp	Jukebox.SMTLIB
showClauses	Jukebox.TPTP.Print
showProblem
1 (Function)	Jukebox.TPTP.Print
2 (Function)	Jukebox.SMTLIB
showTypes	Jukebox.TPTP.Parse.Core
Signed
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
signForm	Jukebox.Form
simple	Jukebox.Form
simplify	Jukebox.Form
simplifyCNF	Jukebox.Clausify
size	Jukebox.Form
skipMany	Jukebox.TPTP.Parsec
skipSome	Jukebox.TPTP.Parsec
skolem	Jukebox.Clausify
skolemName	Jukebox.Clausify
solve
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.HighSat
3 (Function)	Jukebox.InferTypes
solveEq	Jukebox.SatEq
solveLocalMin	Jukebox.SatMin
Solver	Jukebox.Sat
SolverEq
1 (Type/Class)	Jukebox.SatEq
2 (Data Constructor)	Jukebox.SatEq
Some	Jukebox.TPTP.Lexer
sos	Jukebox.Provers.SPASS
spass	Jukebox.Provers.SPASS
SPASSFlags
1 (Type/Class)	Jukebox.Provers.SPASS
2 (Data Constructor)	Jukebox.Provers.SPASS
spassFlags	Jukebox.Provers.SPASS
split	Jukebox.Clausify
splitting	Jukebox.Clausify
Stream	Jukebox.TPTP.Parsec
Subst	Jukebox.Form
subst	Jukebox.Form
Subtype	Jukebox.TPTP.Lexer
Symbolic	Jukebox.Form
table	Jukebox.SatEq
Tag	Jukebox.Form
tag
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.TPTP.Parse.Core
tags	Jukebox.Monotonox.ToFOF
tags1	Jukebox.Monotonox.ToFOF
tagsAxiom	Jukebox.Monotonox.ToFOF
tagsExists	Jukebox.Monotonox.ToFOF
tagsFlags	Jukebox.Monotonox.ToFOF
Term
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
3 (Data Constructor)	Jukebox.TPTP.Parse.Core
term	Jukebox.TPTP.Parse.Core
TermLike	Jukebox.TPTP.Parse.Core
terms	Jukebox.Form
termsAndBinders	Jukebox.Form
testParser	Jukebox.TPTP.Parse.Core
Tff	Jukebox.TPTP.Lexer
tff
1 (Function)	Jukebox.TPTP.Parse.Core
2 (Function)	Jukebox.TPTP.ParseSnippet
The	Jukebox.TPTP.Lexer
the	Jukebox.Form
Theorem	Jukebox.TPTP.Lexer
Thf	Jukebox.TPTP.Lexer
Thing	Jukebox.TPTP.Parse.Core
Timeout	Jukebox.Form
timeout
1 (Function)	Jukebox.Provers.E
2 (Function)	Jukebox.Provers.SPASS
Times	Jukebox.TPTP.Lexer
tmonotone	Jukebox.Form
tname	Jukebox.Form
toCNF	Jukebox.Form
toFofBox	Jukebox.Toolbox
toFofIO	Jukebox.Toolbox
toForm	Jukebox.Form
Token	Jukebox.TPTP.Lexer
tokenName	Jukebox.TPTP.Lexer
TokenStream	Jukebox.TPTP.Lexer
toLiterals	Jukebox.Form
Tool
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
tool	Jukebox.Options
toolHelp	Jukebox.Options
toolName	Jukebox.Options
ToolParser	Jukebox.Options
toolProgName	Jukebox.Options
toolVersion	Jukebox.Options
translate	Jukebox.Monotonox.ToFOF
translate1	Jukebox.Monotonox.ToFOF
Trees	Jukebox.GuessModel
trees	Jukebox.GuessModel
Tru	Jukebox.Form
true
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.HighSat
true3	Jukebox.Sat3
TrueExtend	Jukebox.Monotonox.Monotonicity
TrueExtended	Jukebox.Monotonox.Monotonicity
tsize	Jukebox.Form
TType	Jukebox.TPTP.Parse.Core
typ	Jukebox.Form
Type
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Type/Class)	Jukebox.Form
3 (Data Constructor)	Jukebox.Form
typeAxiom	Jukebox.Monotonox.ToFOF
Typed
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
typeDeclaration	Jukebox.TPTP.Parse.Core
typeError	Jukebox.TPTP.Parse.Core
typeMaybeName	Jukebox.Form
TypeOf	Jukebox.Form
typeOf	Jukebox.Form
types	Jukebox.Form
types'	Jukebox.Form
Type_	Jukebox.TPTP.Parse.Core
type_	Jukebox.TPTP.Parse.Core
UF	Jukebox.UnionFind
Unary	Jukebox.Form
Unique	Jukebox.Name
unique	Jukebox.HighSat
uniqueNames	Jukebox.Form
unitary	Jukebox.TPTP.Parse.Core
unitCost	Jukebox.Clausify
Universe	Jukebox.GuessModel
universe	Jukebox.GuessModel
Unknown	Jukebox.TPTP.Lexer
unNameM	Jukebox.Name
Unpack	Jukebox.Form
Unsatisfiable	Jukebox.Form
unsatisfiable	Jukebox.Form
Untyped	Jukebox.TPTP.Parse.Core
Usage	Jukebox.Options
usage	Jukebox.Options
usageTool	Jukebox.Options
UserState
1 (Type/Class)	Jukebox.TPTP.Parsec
2 (Data Constructor)	Jukebox.TPTP.Parsec
userState	Jukebox.TPTP.Parsec
userStream	Jukebox.TPTP.Parsec
usort	Jukebox.Utils
val	Jukebox.Options
val3	Jukebox.Sat3
value
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.TPTP.Lexer
value3	Jukebox.Sat3
Var
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
3 (Type/Class)	Jukebox.Monotonox.Monotonicity
var
1 (Function)	Jukebox.HighSat
2 (Function)	Jukebox.TPTP.Parse.Core
Variable	Jukebox.Form
variable	Jukebox.TPTP.Parse.Core
vars	Jukebox.Form
versionTool	Jukebox.Options
Watch	Jukebox.HighSat
what	Jukebox.Form
withName	Jukebox.Clausify
withRenamer	Jukebox.Name
writeFileBox	Jukebox.Toolbox
Xor
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Yes	Jukebox.Options
\/	Jukebox.Form
\|+\|	Jukebox.Form
\|=>	Jukebox.Form