A new release of Alt-Ergo (version 2.2.0) is available.
You can get it from [Alt-Ergo's website](https://alt-ergo.ocamlpro.com/#releases). An OPAM package for it will be published in the next few days.
The major novelty of this release is a new experimental front-end that supports the SMT-LIB 2 language, extended prenex polymorphism. This extension is implemented as a standalone library, and is available [here](https://github.com/OCamlPro/alt-ergo/blob/2.2.0/sources/CHANGES): [https://github.com/Coquera/psmt2-frontend](https://github.com/Coquera/psmt2-frontend)
The full list of CHANGES is available [here](https://github.com/OCamlPro/alt-ergo/blob/2.2.0/sources/CHANGES). As usual, do not hesitate to report bugs, to ask questions, or to give your feedback!