Mentions légales du service

Skip to content

New versions for Z3 and alt-ergo

Xavier Denis requested to merge new-provers into master

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.

Merge request reports