Some Silly Z3 Scripts I Wrote (by hwayne) — discussion

#formalmethods