dimacs (cargo): Utilities to parse files in DIMACS .cnf or .sat format which is useful for participating in the DIMACS SAT solver competitions.
Keywords: parser|format|sat|dimacs|lexer