picologic-0.1.2: Utilities for symbolic predicate logic expressions

Safe HaskellSafe
LanguageHaskell2010

Picologic.Tseitin

Documentation

tseitinCNF :: Expr -> Expr Source

dropTseitinVarsInSolutions :: Solutions -> Solutions Source

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