SAT/SMT by Example: updates

The "Social Golfer Problem" part has been rewritten. Ctrl-F: "Social Golfer Problem"

The book, as seen these days in smt-lib mailing list.


List of my other blog posts.