Satyros.QFIDL.Conversion
type ConversionTable = (Map Variable Expressed, Map Expressed Literal) Source #
toCNF :: FormulaLike Expressible -> (Formula, ConversionTable) Source #
fromAssignment :: Map Variable Expressed -> Literal -> Expressed Source #