New Blog Post: Some Silly Z3 Scripts I Wrote

Hillel Wayne published a new blog post titled "Some Silly Z3 Scripts I Wrote" after five months without updates. The post discusses Z3 solver examples and mentions material that didn't make it into his upcoming book "Logic for Programmers." He also notes he's winding down gated content on Patreon.