/Generic-SAT-Solver

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

Primary LanguagePython

Stargazers