flussab-cnf (cargo): DIMACS CNF file format parser and writer
Keywords: cnf|writer|dimacs-cnf|parser