jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.SMTLIB

Documentation

keywords :: [String] Source #

renamings :: [(String, String)] Source #

renameAvoidingKeywords :: Symbolic a => a -> NameM a Source #

renameTPTP :: Symbolic a => a -> a Source #

showProblem :: Problem Form -> String Source #

pPrintProblem :: Problem Form -> Doc Source #

pPrintDecls :: Problem Form -> [Doc] Source #

sexp :: [Doc] -> Doc Source #

pPrintName :: Name -> Doc Source #

pPrintType :: Type -> Doc Source #

pPrintInput :: Input Form -> Doc Source #

pPrintForm :: Form -> Doc Source #

pPrintQuant :: Doc -> Set Variable -> Form -> Doc Source #

pPrintAtomic :: Atomic -> Doc Source #

pPrintTerm :: Term -> Doc Source #