This is a tiny SAT solver (less than 650 lines of code in C++), that I wrote for educational purposes. I have been using it for students’ projects (here are some project proposals) for several years.
This is a tiny SAT solver (less than 650 lines of code in C++), that I wrote for educational purposes. I have been using it for students’ projects (here are some project proposals) for several years.