New Blog Post: Some Silly Z3 Scripts I Wrote (opens in new tab)

Now that I'm not spending all my time on Logic for Programmers, I have time to update my website again! So here's the first blog post in five months: Some...