Hi,
Finally, we have installed Why 2.34 with success.
After several unsuccessful attempts, we have erased all files related to
the previous installations (why, frama-c, opam, lablgtk, libgnomecanvas,
libgnomecanvasmm, gtksourceview, and gtk+) and restarted the
installations.
We have used the
On 25/11/2014 13:59, K. Siaulys wrote:
My guess is that command line option -rs was removed from Z3 version
4.3.2.
Yes, that's indeed the case.
What should I do to get Z3 working with Why3 - downgrade to 4.3.1
or install it next to 4.3.2, remove -rs option from "command" line in
provers-dete
Hi,
I have Why3 system (version 0.84) and Z3 (version 4.3.2) installed.
My provers-detection-data.conf file contains the following entry:
[ATP z3]
name = "Z3"
exec = "z3"
exec = "z3-4.3.1"
exec = "z3-4.3.0"
exec = "z3-4.2"
exec = "z3-4.1.2"
exec = "z3-4.1.1"
exec = "z3-4.0"
version_switch = "-v
