package altgr-ergo
Automatic theorem prover based on SMT technology and dedicated to program verification: Graphical interface
Install
Dune Dependency
Authors
Maintainers
Sources
alt-ergo-0.95.2.tar.gz
md5=ab9c160f7ecb26aa2479f9169db9b869
Description
Published: 21 Nov 2013
Dependencies (6)
- num
-
conf-gtksourceview
= "2" - lablgtk
-
ocamlgraph
>= "1.8.2" - zarith
- ocaml
Dev Dependencies
None
Used by (1)
-
frama-c
= "13.1"
Conflicts
None
On This Page