A Dumb Introduction to z3 (via abhin4v) — discussion

#logiclangs