A Dumb Introduction to z3 (via runxiyu) — discussion

#formalmethods #plt