dimacs 0.1.0

Utilities to parse files in DIMACS .cnf or .sat format which is useful for participating in the DIMACS SAT solver competitions.
Documentation 
1
2

# dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.