After 3.5 years (!!), I am proud to announce that I've written a new blog post on my site:
"Using z3 To Solve Logic Puzzles"
Cohost is for short-to-medium form writing, as well as being a nice staging area for stuff to go my website. On the other hand, my blog is for longer-form writing, and this particular post went straight to my website instead.
z3 is an SMT solver. An SMT solver is a type software which is optimized for solving SMT/SAT problems. This post also serves as a whirlwind introduction to SAT and SMT problems. So if you've heard about any of those things, but don't know how they work, give my post a read!
I hope you all enjoy, and would love to hear feedback: