What is the context for this?
On Sunday, August 4, 2019 at 3:00:26 AM UTC-4, Ipsita Koley wrote:
>
> 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/843c5c3f-3402-4fb0-b6e1-f0b4eac84f7e%40googlegroups.com.
