Some Silly Z3 Scripts I Wrote

4 points by hwayne