Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
expressionToTPTP :: E -> String Source #
formulaAndVarMapToMetiTarski :: F -> TypedVarMap -> String Source #
disjunctionExpressionsToSMT :: [E] -> String Source #
cnfExpressionsToSMT :: [[E]] -> String Source #
disjunctionExpressionsToTptp :: [ESafe] -> String Source #
cnfExpressionsToTptp :: [[ESafe]] -> String Source #