Some Silly Z3 Scripts I Wrote

As part of writing Logic for Programmers I produced a lot of &ldquo;chaff&rdquo;, code samples and sections I wrote up and then threw away. Sometimes I found a better example for the same topic, sometimes I threw the topic away entirely. It felt bad to let everything all rot on my hard drive, so I&rsquo;m sharing a bunch of chaff for a tool called &ldquo;Z3&rdquo;, which has all sorts of uses in…