cnfgen (cargo): Generate DIMACS CNF formula from operations
Keywords: cnfgen|sat|cnf|logic