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.99.1.tar.gz
sha256=f5f24f0af60ff5b4a7d054e95bc677befbe708859fafdd5b214a47ed4d71d452
md5=1fd351547441553a1d8ac543adda6cdb
Description
Published: 30 Dec 2014
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