Comment by Jaxan

3 days ago

I tried it many months ago and it was garbage. But this was trying smtlib directly. Maybe via the python bindings it works better?

0 comments