Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
toCNF :: FormulaLike Expressible -> (Formula, ConversionTable) Source #
fromAssignment :: ConversionTable -> [(Variable, Bool)] -> [Expressed] Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
toCNF :: FormulaLike Expressible -> (Formula, ConversionTable) Source #
fromAssignment :: ConversionTable -> [(Variable, Bool)] -> [Expressed] Source #