A generic SAT solver designed to solve SAT problems in the DIMACS format.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool