satyros-0.3.1.4: Step-by-step SAT solver for educational purposes
Safe HaskellNone
LanguageHaskell2010

Satyros.QFIDL.Conversion

Documentation

type ConversionTable = (Map Variable Expressed, Map Expressed Literal) Source #

toCNF :: FormulaLike Expressible -> (Formula, ConversionTable) Source #

fromAssignment :: ConversionTable -> [(Variable, Bool)] -> [Expressed] Source #