SAT-canonical-0.1.0.0

Safe HaskellSafe
LanguageHaskell2010

Canonical

Documentation

canonical :: VarProp -> FProp -> FProp -> FProp Source #

canonical' :: VarProp -> FProp -> FProp -> FProp Source #