To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Automatic theorem prover based on SMT technology and dedicated to program verification: Graphical interface
Install
Authors
Maintainers
Sources
alt-ergo-0.99.1.tar.gz
md5=1fd351547441553a1d8ac543adda6cdb
Description
Published: 30 Dec 2014
Dependencies (6)
- num
-
conf-gtksourceview
= "2" - lablgtk
-
ocamlgraph
>= "1.8.2" - zarith
- ocaml
Dev Dependencies
Used by (1)
-
frama-c
= "13.1"
Conflicts
On This Page