[Why3-club] Release of Alt-Ergo Free 2.0.0

Mohamed Iguernlala iguer.auto at gmail.com
Wed Feb 13 13:59:08 CET 2019

Dear all,

Alt-Ergo 2.0.0 becomes free (distributed under the terms of the
Apache License 2.0). The website is updated accordingly:

and an OPAM package will be added soon:

Note that we renamed this version to alt-ergo-free to avoid any
confusion or clash with already existing packages. But, the
installed binary is still called "alt-ergo".

Best regards,
- Mohamed.

Senior R&D Engineer, OCamlPro SAS
Research Associate, VALS team, LRI
Webpage: http://www.iguer.xyz
LinkedIn: https://fr.linkedin.com/in/mohamed-iguernlala-71515979

More information about the Why3-club mailing list