Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Repository from Github https://github.comRobbepop/dimacs-parserRepository from Github https://github.comRobbepop/dimacs-parser
