"SAT/SMT by Example": hacking/tinkering plan

This should be added to my book, but I forgot.

Where can you start hacking?

So grab the source code for my book and start tinkering...


List of my other blog posts.