cnfgen2 0.1.0

Generate DIMACS CNF formula from operations (second version)
Documentation