alt-ergo-freeversion 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 |
| License | CECILL-C |
| Published | |
| Homepage | https://alt-ergo.ocamlpro.com/ |
| Issue Tracker | https://github.com/OCamlPro/alt-ergo/issues |
| Maintainer | Alt-Ergo developers |
| Dependencies |
|
| Conflicts | |
| Source [http] | https://github.com/OCamlPro/alt-ergo/releases/download/v2.4.3-free/alt-ergo-2.4.3-free.tar.gz sha256=92c54ff471fda58f93e84b3fc200bda4677cd39006c357b5be07d594d1825c6f md5=555b7e69a3c33917573896a527ac7505 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/alt-ergo-free/alt-ergo-free.2.4.3/opam |
Required by
