'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 ~660pp book.

A little bit of history from the ChangeLog file.

Thanks to everyone who has helped me.


Please drop me email about bug(s) and/or suggestion(s): blog@yurichev.com. BTW, I'm teaching. Follow me in social networks: Twitter, Telegram, GitHub, Discord, Facebook.