cnfgen 0.3.0

Generate DIMACS CNF formula from operations
Documentation