Index

!
1 (Function)	Jukebox.Map
2 (Function)	Jukebox.NameMap
.=.	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
Append	Jukebox.Seq
append	Jukebox.Seq
appendA	Jukebox.Seq
Apply
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.ClauseParser
applyFunction	Jukebox.TPTP.ClauseParser
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.ClauseParser
Assumption	Jukebox.TPTP.Lexer
At	Jukebox.TPTP.Lexer
atIndex	Jukebox.HighSat
Atom	Jukebox.TPTP.Lexer
atom	Jukebox.TPTP.ClauseParser
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
baseName	Jukebox.Name
between	Jukebox.TPTP.Parsec
Binary	Jukebox.Form
Bind
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
bind	Jukebox.Form
Bind_	Jukebox.Form
binExpr	Jukebox.TPTP.ClauseParser
bool	Jukebox.Options
bottom3	Jukebox.Sat3
bracks	Jukebox.TPTP.ClauseParser
cases	Jukebox.GuessModel
cases1	Jukebox.GuessModel
Chatty	Jukebox.TPTP.Print
chattyShow	Jukebox.TPTP.Print
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
close	Jukebox.Name
Closed	Jukebox.Name
closed0	Jukebox.Name
closedIO	Jukebox.Name
closeForm	Jukebox.Form
close_	Jukebox.Name
CNF	Jukebox.Form
Cnf	Jukebox.TPTP.Lexer
cnf
1 (Function)	Jukebox.TPTP.ClauseParser
2 (Function)	Jukebox.TPTP.ParseSnippet
3 (Function)	Jukebox.Clausify
collect	Jukebox.Form
Colon	Jukebox.TPTP.Lexer
Comma	Jukebox.TPTP.Lexer
compoundType	Jukebox.TPTP.ClauseParser
concat	Jukebox.Seq
concatMap	Jukebox.Seq
concatMapA	Jukebox.Seq
conflict	Jukebox.Sat
conj
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.HighSat
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
cons	Jukebox.Seq
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
Defined
1 (Type/Class)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Lexer
defined
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.TPTP.ClauseParser
defined'	Jukebox.TPTP.ClauseParser
Definition	Jukebox.TPTP.Lexer
delete
1 (Function)	Jukebox.Map
2 (Function)	Jukebox.NameMap
deleteSolver	Jukebox.Sat
DependentProduct	Jukebox.TPTP.Lexer
DependentSum	Jukebox.TPTP.Lexer
DEqual	Jukebox.TPTP.Lexer
descr	Jukebox.Options
DFalse	Jukebox.TPTP.Lexer
DI	Jukebox.TPTP.Lexer
disj
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.HighSat
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
elems	Jukebox.Map
Elt
1 (Type/Class)	Jukebox.SatEq
2 (Data Constructor)	Jukebox.SatEq
empty	Jukebox.Map
encodeString	Jukebox.Toolbox
enter	Jukebox.ProgressBar
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
equinoxBox	Jukebox.Toolbox
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
findType	Jukebox.TPTP.ClauseParser
findWithDefault	Jukebox.Map
Finite	Jukebox.Form
FiPredicates	Jukebox.TPTP.Lexer
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.ClauseParser
fold	Jukebox.Seq
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
form'	Jukebox.TPTP.ParseSnippet
Formula	Jukebox.TPTP.ClauseParser
formula	Jukebox.TPTP.ClauseParser
FormulaLike	Jukebox.TPTP.ClauseParser
free	Jukebox.Form
fromFormula	Jukebox.TPTP.ClauseParser
fromList
1 (Function)	Jukebox.Map
2 (Function)	Jukebox.Seq
3 (Function)	Jukebox.NameMap
fromModel	Jukebox.Monotonox.Monotonicity
fromThing	Jukebox.TPTP.ClauseParser
Fun	Jukebox.TPTP.ClauseParser
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
getProblem	Jukebox.TPTP.ClauseParser
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.ClauseParser
include	Jukebox.TPTP.ClauseParser
IncludeStatement	Jukebox.TPTP.ClauseParser
ind	Jukebox.GuessModel
individual	Jukebox.TPTP.ClauseParser
inferBox	Jukebox.Toolbox
inferTypes	Jukebox.InferTypes
Infinite	Jukebox.Form
inGroup	Jukebox.Options
initial	Jukebox.UnionFind
initialState	Jukebox.TPTP.ClauseParser
Input
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
input	Jukebox.TPTP.ClauseParser
Input_	Jukebox.Form
insert
1 (Function)	Jukebox.Map
2 (Function)	Jukebox.NameMap
insertWith	Jukebox.Map
intersection	Jukebox.Map
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.ClauseParser
keyword'	Jukebox.TPTP.ClauseParser
Kind	Jukebox.Form
kind
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.TPTP.ClauseParser
Lambda	Jukebox.TPTP.Lexer
LBrack	Jukebox.TPTP.Lexer
leaf	Jukebox.TPTP.ClauseParser
leave	Jukebox.ProgressBar
Lemma	Jukebox.TPTP.Lexer
length	Jukebox.Seq
Let	Jukebox.TPTP.Lexer
LetTerm	Jukebox.TPTP.Lexer
Level	Jukebox.TPTP.Print
lhs	Jukebox.Name
List
1 (Type/Class)	Jukebox.Seq
2 (Data Constructor)	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.ClauseParser
3 (Function)	Jukebox.Clausify
localMin	Jukebox.SatMin
lookup
1 (Function)	Jukebox.Map
2 (Function)	Jukebox.NameMap
lookupFunction	Jukebox.TPTP.ClauseParser
lookup_	Jukebox.NameMap
LParen	Jukebox.TPTP.Lexer
M	Jukebox.Clausify
makeCopyable	Jukebox.Clausify
makeFunction	Jukebox.Monotonox.ToFOF
makeOr	Jukebox.Clausify
mangleAnswer	Jukebox.Provers.E
manyFlags	Jukebox.Options
Map	Jukebox.Map
mapM	Jukebox.Seq
mapM_	Jukebox.Seq
mapType	Jukebox.Form
maxIndex	Jukebox.Name
member
1 (Function)	Jukebox.Map
2 (Function)	Jukebox.NameMap
memory	Jukebox.Provers.E
merge	Jukebox.Utils
miniscope	Jukebox.Clausify
Mistake	Jukebox.Options
MkState	Jukebox.TPTP.ClauseParser
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
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.Name
Named	Jukebox.Name
nameI	Jukebox.Name
NameM	Jukebox.Name
NameMap	Jukebox.NameMap
nameO	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.ClauseParser
newFunction
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.TPTP.ClauseParser
newLit	Jukebox.Sat
newLit2	Jukebox.Sat3
newLit3	Jukebox.Sat3
newName	Jukebox.Name
newNameFrom	Jukebox.TPTP.ClauseParser
newSolver	Jukebox.Sat
newSolverEq	Jukebox.SatEq
newSymbol	Jukebox.Form
newType	Jukebox.Form
next	Jukebox.TPTP.Parsec
nextSk	Jukebox.Clausify
Nil	Jukebox.Seq
No	Jukebox.Options
NoAnswer	Jukebox.Form
NoAnswerReason	Jukebox.Form
nonempty	Jukebox.TPTP.Parsec
Nor
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Normal
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Print
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
nub	Jukebox.Utils
null	Jukebox.Map
Number	Jukebox.TPTP.Lexer
number	Jukebox.TPTP.ClauseParser
O	Jukebox.Form
Obligs
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
Obligs_	Jukebox.Form
Ok	Jukebox.TPTP.Parsec
oneConjecture	Jukebox.Toolbox
oneConjectureBox	Jukebox.Toolbox
open	Jukebox.Name
OptionParser	Jukebox.Options
Or
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
3 (Data Constructor)	Jukebox.HighSat
orCost	Jukebox.Clausify
parens	Jukebox.TPTP.ClauseParser
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.ClauseParser
parseError	Jukebox.TPTP.Parsec
parseProblem	Jukebox.TPTP.ParseProblem
parseProblemBox	Jukebox.Toolbox
parseProblemIO	Jukebox.Toolbox
parseProblemWith	Jukebox.TPTP.ParseProblem
Parser	Jukebox.TPTP.ClauseParser
parser
1 (Function)	Jukebox.Options
2 (Function)	Jukebox.TPTP.ClauseParser
ParseResult	Jukebox.Options
ParseState	Jukebox.TPTP.ClauseParser
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
PrefixParser
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
Pretty	Jukebox.TPTP.Print
prettyClauseBox	Jukebox.Toolbox
prettyFormIO	Jukebox.Toolbox
prettyFormula	Jukebox.TPTP.Print
prettyPrintBox	Jukebox.Toolbox
prettyPrintIO	Jukebox.Toolbox
prettyProblem	Jukebox.TPTP.Print
prettyShow	Jukebox.TPTP.Print
primToken	Jukebox.TPTP.Parsec
printHelp	Jukebox.Options
printInferredBox	Jukebox.Toolbox
Problem	Jukebox.Form
Prod	Jukebox.TPTP.ClauseParser
prod	Jukebox.TPTP.ClauseParser
ProgressBar
1 (Type/Class)	Jukebox.ProgressBar
2 (Data Constructor)	Jukebox.ProgressBar
Punct
1 (Type/Class)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Lexer
punct	Jukebox.TPTP.ClauseParser
punct'	Jukebox.TPTP.ClauseParser
putState	Jukebox.TPTP.Parsec
quantified	Jukebox.TPTP.ClauseParser
Question
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
quiet	Jukebox.Toolbox
RBrack	Jukebox.TPTP.Lexer
recursively	Jukebox.Form
recursivelyM	Jukebox.Form
removeEquiv	Jukebox.Clausify
removeEquivAux	Jukebox.Clausify
removeExists	Jukebox.Clausify
removeExpensiveOr	Jukebox.Clausify
removeExpensiveOrAux	Jukebox.Clausify
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.Clausify
runE	Jukebox.Provers.E
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.ClauseParser
sepBy1	Jukebox.TPTP.Parsec
Seq
1 (Type/Class)	Jukebox.Seq
2 (Data Constructor)	Jukebox.Form
SeqParser
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
sequence	Jukebox.Seq
SequentArrow	Jukebox.TPTP.Lexer
share	Jukebox.Form
ShareState	Jukebox.Form
Signed
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
signForm	Jukebox.Form
simple	Jukebox.Form
simplify	Jukebox.Form
simplifyCNF	Jukebox.Clausify
singleton	Jukebox.NameMap
size	Jukebox.Form
skipMany	Jukebox.TPTP.Parsec
skipSome	Jukebox.TPTP.Parsec
skolem	Jukebox.Clausify
skolemName	Jukebox.Clausify
snoc	Jukebox.Seq
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
stdNames	Jukebox.Name
Stream	Jukebox.TPTP.Parsec
stringBaseName	Jukebox.Name
Subst	Jukebox.Form
subst	Jukebox.Form
Subtype	Jukebox.TPTP.Lexer
supply	Jukebox.Name
Symbolic	Jukebox.Form
table	Jukebox.SatEq
Tag	Jukebox.Form
tag
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.TPTP.ClauseParser
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.ClauseParser
term	Jukebox.TPTP.ClauseParser
TermLike	Jukebox.TPTP.ClauseParser
terms	Jukebox.Form
termsAndBinders	Jukebox.Form
testParser	Jukebox.TPTP.ClauseParser
Tff	Jukebox.TPTP.Lexer
tff
1 (Function)	Jukebox.TPTP.ClauseParser
2 (Function)	Jukebox.TPTP.ParseSnippet
The	Jukebox.TPTP.Lexer
the	Jukebox.Form
Theorem	Jukebox.TPTP.Lexer
Thf	Jukebox.TPTP.Lexer
Thing	Jukebox.TPTP.ClauseParser
tick	Jukebox.ProgressBar
tickOnRead	Jukebox.ProgressBar
Timeout	Jukebox.Form
timeout
1 (Function)	Jukebox.Provers.E
2 (Function)	Jukebox.Provers.SPASS
Times	Jukebox.TPTP.Lexer
tmonotone	Jukebox.Form
tname	Jukebox.Form
toFofBox	Jukebox.Toolbox
toFofIO	Jukebox.Toolbox
toForm	Jukebox.Form
Token	Jukebox.TPTP.Lexer
TokenStream	Jukebox.TPTP.Lexer
toList
1 (Function)	Jukebox.Map
2 (Function)	Jukebox.Seq
3 (Function)	Jukebox.NameMap
toLiterals	Jukebox.Form
toObligs	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.ClauseParser
typ	Jukebox.Form
Type
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Type/Class)	Jukebox.Form
3 (Data Constructor)	Jukebox.Form
Type'	Jukebox.InferTypes
typeAxiom	Jukebox.Monotonox.ToFOF
Typed	Jukebox.Form
typeDeclaration	Jukebox.TPTP.ClauseParser
typeError	Jukebox.TPTP.ClauseParser
typeMaybeName	Jukebox.Form
TypeOf	Jukebox.Form
typeOf	Jukebox.Form
types	Jukebox.Form
types'	Jukebox.Form
Type_	Jukebox.TPTP.ClauseParser
type_	Jukebox.TPTP.ClauseParser
UF	Jukebox.UnionFind
Unary	Jukebox.Form
union	Jukebox.Map
unique
1 (Function)	Jukebox.Seq
2 (Function)	Jukebox.HighSat
uniqueId	Jukebox.Name
uniqueNames	Jukebox.Form
uniquify	Jukebox.Name
Unit	Jukebox.Seq
unitary	Jukebox.TPTP.ClauseParser
unitCost	Jukebox.Clausify
Universe	Jukebox.GuessModel
universe	Jukebox.GuessModel
Unknown	Jukebox.TPTP.Lexer
Unpack	Jukebox.Form
unsafeClose	Jukebox.Name
unsafeMakeName	Jukebox.Name
Unsatisfiable	Jukebox.Form
unsatisfiable	Jukebox.Form
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.ClauseParser
varDecl	Jukebox.TPTP.ClauseParser
Variable	Jukebox.Form
variable	Jukebox.TPTP.ClauseParser
Variable'	Jukebox.InferTypes
vars	Jukebox.Form
versionTool	Jukebox.Options
Watch	Jukebox.HighSat
what	Jukebox.Form
withName	Jukebox.Clausify
withProgressBar	Jukebox.ProgressBar
withString	Jukebox.Toolbox
writeFileBox	Jukebox.Toolbox
Xor
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Yes	Jukebox.Options
\/	Jukebox.Form
\\	Jukebox.Map
\|+\|	Jukebox.Form
\|=>	Jukebox.Form