opam - alt-ergo.2.6.3

alt-ergoversion
2.6.3 (latest)
0.95.2
0.99.1
1.01
1.30
2.0.0
2.1.0
2.2.0
2.3.0
2.3.1
2.3.2
2.3.3
2.4.0
2.4.1
2.4.2
2.4.3
2.5.1
2.5.2
2.5.3
2.5.4
2.6.0
2.6.1
2.6.2
2.6.3 (latest)
Documentation on ocaml.org

The Alt-Ergo SMT prover

Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.

See more details on https://alt-ergo.ocamlpro.com/

Tags	org:OCamlPro
Author	Alt-Ergo developers <alt-ergo@ocamlpro.com>
Licenses	LicenseRef-OCamlpro-Non-Commercial and Apache-2.0
Published	Apr 14, 2026
Homepage	https://alt-ergo.ocamlpro.com/
Issue Tracker	https://github.com/OCamlPro/alt-ergo/issues
Maintainer	Alt-Ergo developers <alt-ergo@ocamlpro.com>
Dependencies	ocaml>=4.08.1 dune>=3.14 alt-ergo-lib=2.6.3 alt-ergo-parsers=2.6.3 menhir dune-site cmdliner>=2.0 odocwith-doc
Source [http]	https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.3/alt-ergo-2.6.3.tbz sha256=4ac2b5d8ae6c54a11a0cc349ec76a153aa95727bf57ef9cb3309a706a7fb1bfa sha512=68b952ec7940c9f5d8ec9750420a6fd9ccaf6ca149ce96f5c32bbd8ff3b07481940b8c2938815b8540df1369e06da02f1edcbaeda809e8386be186011b7dd962
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/alt-ergo/alt-ergo.2.6.3/opam

Required by

alt-ergo-plugin-ab-why3>=2.6.3
frama-c
lambdapiwith-test & (>=2.1.0 & <2.2.1 | >=3.0.0)