Jukebox.Toolbox

data GlobalFlags

globalFlags

data TSTPFlags

tstpFlags

comment

quietly

indent

(=>>=)

(=>>)

forAllFilesBox

forAllFiles

readProblemBox

readProblem

printProblemBox

printProblemSMTBox

printClausesBox

prettyPrintIO

writeFileBox

clausifyBox

oneConjectureBox

oneConjecture

toFormulasBox

type Solver

forAllConjecturesBox

forAllConjectures

toFofBox

toFof

schemeBox

analyseMonotonicityBox

showMonotonicityBox

guessModelBox

inferBox

printInferredBox

hornToUnitBox

hornToUnitIO