cnfgen 0.2.1

Generate DIMACS CNF formulae from operations
Documentation