Opam Package satML-plugin.1.01

Package info

opam-namesatML-plugin
opam-version1.01
synopsisAlt-Ergo, an SMT Solver for Software Verification: satML 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 satML plugin for Alt-Ergo: an alternative SAT solver based on miniSAT. usage: alt-ergo -sat-plugin satML-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

satML-plugin

Package files

lib/alt-ergo/plugins/satML-plugin.cmxs