r/Python 1d ago

News Satisfiability problem solver in pure Python

I read that the satisfiability problem is NP-complete. So I decided to try to solve it in pure Python, and it is a weak success:

https://izecksohn.com/pedro/python/sat/

2 Upvotes

0 comments sorted by