alt-ergo 2.4.1 not supported
14:52 ~/lambdapi (release) why3 --version
Why3 platform, version 1.4.0
14:52 ~/lambdapi (release) alt-ergo --version
2.4.1
14:52 ~/lambdapi (release) why3 config detect
Prover Z3 version 4.8.11 is not known to be supported.
Known versions for this prover: 4.8.7, 4.8.8, 4.8.9, 4.8.10.
Known old versions for this prover: .
Prover Alt-Ergo version 2.4.1 is not known to be supported.
Known versions for this prover: 2.4.0.
Known old versions for this prover: .