package altgr-ergo
The GUI for the Alt-Ergo SMT prover
Install
Dune Dependency
Authors
Maintainers
Sources
2.4.0.tar.gz
sha256=d0c41838de4c39f54cc181ec84d9ce17b950b57df6884893731802aef6993bac
md5=12ecc5c002154d81af1b14023f2c2245
Description
Altgr-Ergo is the graphical interface for 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/
Published: 27 Jan 2021
Dependencies (7)
-
cmdliner
< "1.1.0" - conf-gtksourceview
- lablgtk
-
alt-ergo-parsers
= version -
alt-ergo-lib
= version -
dune
>= "2.0" -
ocaml
>= "4.04.0"
Dev Dependencies
None
Used by (1)
-
frama-c
= "13.1"
Conflicts
None
On This Page