Sat solver in Python (~175 SLOC) with watch listshttps://yurichev.com/blog/SAT_WL/ by dennis714 • 7 years ago 2 0 7 years agoYUyurichev.com