'SAT/SMT by Example' book: 5-year anniversary

The very first git commit happened 13-Feb-2016, 5 years ago. In February 2016 it wasn't a 'book', but rather a collection of my blog posts. This is how it looked like, see here. In 28-Feb-2016 it got its '15 minutes of fame' at Hacker News.

But it all was started even earlier, in August 2012, ~8.5 years ago, with my first experiments with Z3 and program synthesis.

Today it's a ~615pp book.

A little bit of history from the ChangeLog file.

Thanks to everyone who has helped me.


List of my other blog posts.

Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.