ToySolver.SAT.Store.CNF
data
CNFStore
m
newCNFStore
getCNFFormula