Data.Algebra.Boolean.CNF.Set

data CNF a

fromDoubleList

toDoubleList

fromNNF