/Generic-SAT-Solver

A generic SAT solver designed to solve SAT problems in the DIMACS format.

Primary LanguagePython

No issues in this repository yet.