Some Adventures in Solving Problems with AND, OR, and NOT
This is a collection of problems solved primarily using SAT solvers.
Each Python file is standalone.
For every problem, there is an accompanying video — not quite a tutorial, not quite a dev-log — something in between.
📺 For more, visit: Website
📄 You can also download the introductory PDF: Solve Computational Problems (PDF)