cnfgen 0.6.2

Generate DIMACS CNF formula from operations
Documentation