picologic-0.3.0: Utilities for symbolic predicate logic expressions

Safe HaskellSafe
LanguageHaskell2010

Picologic.Tseitin

Documentation

tseitinCNF :: Expr -> Expr Source #

dropTseitinVarsInSolutions :: Solutions -> Solutions Source #

dropTseitinVars :: [Expr] -> [Expr] Source #