Opam Package fm-simplex-plugin.1.01

Package info

opam-namefm-simplex-plugin
opam-version1.01
synopsisAlt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin
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 FM-Simplex plugin for Alt-Ergo: an alternative to Fourier-Motzkin elimination algorithm described in [this paper](https://hal.archives-ouvertes.fr/hal-00687640). usage: alt-ergo -inequalities-plugin fm-simplex-plugin.cmxs [other-options] <file.why>
authors
  • Alt-Ergo developers
homepagehttp://alt-ergo.ocamlpro.com/
licenseOCamlPro Non-Commercial License
deps (3)
revdeps(0)
metas(0)
libraries(0)

Package modules

Package sources

fm-simplex-plugin

Package files

lib/alt-ergo/plugins/fm-simplex-plugin.cmxs
lib/alt-ergo/plugins
lib/alt-ergo