simple-sat: Simple Python SAT Solver - GitHub
https://github.com/sahands/simple-sat02.03.2019 · README.rst simple-sat: Simple Python SAT Solver This project is a simple recursive and iterative implementation of a backtracking, watchlist-based, SAT solver. Code is based mostly on Knuth's SAT0W program which can be found here. The iterative code follows Knuth's version much closer, but is a bit more complicated.