Opam Package alt-ergo.1.01

Package info

opam-namealt-ergo
opam-version1.01
synopsisAlt-Ergo, an SMT Solver for Software Verification
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>
authors
  • Alt-Ergo developers
homepagehttp://alt-ergo.ocamlpro.com/
licenseCeCILL-C
deps (3)
revdeps (4)
metas(0)
libraries(0)

Package modules

Package sources

alt-ergo

Package files

man/man1/alt-ergo.1
bin/alt-ergo