Jukebox.Toolbox

data GlobalFlags

globalFlags

(=>>=)

(=>>)

greetingBox

greetingBoxIO

allFilesBox

allFiles

parseProblemBox

parseProblemIO

withString

encodeString

clausifyBox

clausifyIO

toFofBox

oneConjectureBox

oneConjecture

toFofIO

schemeBox

monotonicityBox

monotonicity

annotateMonotonicityBox

prettyPrintBox

prettyFormIO

prettyClauseBox

prettyPrintIO

writeFileBox

guessModelBox

guessModelIO

allObligsBox

allObligsIO

inferBox

printInferredBox

equinoxBox