jukebox-0.2.5: A first-order reasoning toolbox (Index - S)

jukebox-0.2.5: A first-order reasoning toolbox

Index - S

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