For those who liked my 'SAT/SMT by Example' book, should also see all these examples Håkan assembled, which are written in many other PLs (like Prolog), APIs, etc. ('Examples' in the same sense as in my book.)
Wide variety of PLs and APIs makes it look like rosettacode.org website, and this is very interesting and useful (to my taste).
(Click here. Also, his github.)
So yes, SAT/SMT solvers are not the only kid on a block. Sometimes, other tools may fit better. At least, worth studying.
List of my other blog posts.
Subscribe to my news feed
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.