Hello Sandrine,
> I am using why3 version 1.3.3 and would like to add the Z3 and E provers
> to the list of installed provers, so that they are triggered by proof
> strategies 0, 1 and more. I tried several versions (among those listed
> in provers-detection-data.conf), including Z3 version 4.8.4
Le 03/12/2020 à 09:24, Sandrine Blazy a écrit :
> My other question is about TryWhy3: which version of why3 does it use?
I am updating it at the time of release. So, it should be 1.3.3.
Best regards,
Guillaume
___
Why3-club mailing list
Hello,
I am using why3 version 1.3.3 and would like to add the Z3 and E provers to the
list of installed provers, so that they are triggered by proof strategies 0, 1
and more. I tried several versions (among those listed in
provers-detection-data.conf), including Z3 version 4.8.4 (that is
