You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be nice to have a way of getting these three in the z3 api. I know there are the bindings in z3-sys, but I would need to make my own version.
I could work on a pull-request if more people want these.