Jukebox.Toolbox

data GlobalFlags

globalFlags

(=>>=)

(=>>)

greetingBox

greetingBoxIO

allFilesBox

allFiles

parseProblemBox

parseProblemIO

clausifyBox

clausifyIO

toFofBox

oneConjectureBox

oneConjecture

toFofIO

schemeBox

monotonicityBox

monotonicity

annotateMonotonicityBox

prettyPrintProblemBox

prettyPrintProblemSMTBox

prettyPrintClausesBox

prettyPrintIO

writeFileBox

guessModelBox

guessModelIO

allObligsBox

allObligsIO

inferBox

printInferredBox