cnfgen2 0.1.1

Generate DIMACS CNF formula from operations (second version)
Documentation