Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
