Comment Section: Some Silly Z3 Scripts I wrote

These are some of the responses to Some Silly Z3 Scripts I wrote. Blogs on a similar topic Emails and Comments TODO