package alt-ergo
Alt-Ergo, an SMT Solver for Software Verification
Install
Dune Dependency
Authors
Maintainers
Sources
alt-ergo-1.30.tar.gz
sha256=2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708
md5=c7100ebd625fbd7d3e5247dbac689748
Description
Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and Caveat.
This package provides the command-line version of Alt-Ergo.
usage: alt-ergo [options] <file.why>
Published: 21 Nov 2016
Dependencies (5)
- num
-
ocplib-simplex
= "0.3" -
camlzip
< "1.08" -
zarith
>= "1.4" -
ocaml
>= "4.01.0"
Dev Dependencies
None
Used by (7)
-
fm-simplex-plugin
>= "1.30" -
frama-c
>= "13.1" -
lambdapi
>= "2.0.0" & < "2.2.1" -
profiler-plugin
>= "1.30" -
satML-plugin
>= "1.30" -
why
>= "2.32" & < "2.35" -
why3
< "0.85"
Conflicts
None
On This Page