As discussed with our users and both our academic and industrial partners in the Alt-Ergo Users’ Club, we are pleased to announce the new free release of Alt-Ergo.
Alt-Ergo 2.2.0 is now under the Apache license.
alt-ergo-free package has been updated in the opam repository to this version as well.
You can find the source archive, changes and more on the Alt-Ergo website.
The main changes are the new SAT solver (from Alt-Ergo 2.1.0) and the experimental support for the SMT-lib standard (introduced in Alt-Ergo 2.2.0)
The Alt-Ergo team – OCamlPro