Quiggleson/sat

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

语言：TeX · GitHub 星标：3 · Fork：1

话题：3sat · boolean-satisfiability · p-vs-np · polynomial-time

在 GitHub 上查看原仓库