I am using z3py.
s.check() is returning 'sat' however it is giving the following exception
Traceback (most recent call last):
File "understeerSlow.py", line 3788, in <module>
m = s.model()
File "/usr/lib/python2.7/dist-packages/z3.py", line 5989, in model
raise Z3Exception("model is not available")
z3types.Z3Exception: model is not available
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/f0637dd4-c357-4261-856d-be361d4792ef%40googlegroups.com.
