Proper.CNF

type CNF c

type SatisfyingAssignment l

cnf

mergeCNFFormulas

naiveSAT

naiveSATBool