z3 4.5.1
When installing easycrypt, I get:
why3 config --detect --full-config .... Prover Z3 version 4.5.1 is not known to be supported.
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
When installing easycrypt, I get:
why3 config --detect --full-config .... Prover Z3 version 4.5.1 is not known to be supported.