Debugging a Logic Circuit in IDP-Z3 (via hwayne) — discussion

#formalmethods #math