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: satML plugin
Install
Authors
Maintainers
Sources
alt-ergo-0.99.1.tar.gz
md5=1fd351547441553a1d8ac543adda6cdb
Description
Published: 30 Dec 2014
Dependencies (4)
-
alt-ergo
= "0.99.1" -
ocamlgraph
>= "1.8.2" - zarith
- ocaml
Dev Dependencies
Used by
Conflicts
On This Page