New versions for Z3 and alt-ergo
I've added support for new versions of Z3 & Alt-Ergo to the configuration.
I imagine there must be some vetting for prover versions but I have no idea how that would work.
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
I've added support for new versions of Z3 & Alt-Ergo to the configuration.
I imagine there must be some vetting for prover versions but I have no idea how that would work.