package alt-ergo
The Alt-Ergo SMT prover
Install
Dune Dependency
alt-ergo.ocamlpro.com
Readme
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only License
Edit opam file
Versions (22)
Authors
Maintainers
Sources
2.4.0.tar.gz
sha256=d0c41838de4c39f54cc181ec84d9ce17b950b57df6884893731802aef6993bac
md5=12ecc5c002154d81af1b14023f2c2245
doc/index.html
Alt-ergo
The Alt-ergo prover
The alt-ergo package installs the alt-ergo binary, whose documentation is available through the --help option.
Command Line Parsing
The command line parsing is computed in our common internal library (see Alt_ergo_common) using cmdliner
Plugins
Why3 parser
for the Why3 parser plugin documentation see ABWhy3
Fourier Motzkin simplex
for the Fourier Motzkin simplex plugin documentation see FMsimplex