/sat

python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time

Primary LanguageTeX

No issues in this repository yet.