package alt-ergo

  1. Overview
  2. Docs
The Alt-Ergo SMT prover

Install 

dune-project
 Dependency

alt-ergo.ocamlpro.com Readme Changelog LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only License Edit opam file Versions (22)

Authors

  1. A
    Alt-Ergo developers

Maintainers

  1. A
    Alt-Ergo developers

Sources

alt-ergo-2.4.3.tar.gz
md5=ba99f4c71bf6de3d2475272af2ee7df2
sha512=90c01175ec5e4c1818b1d370e300f30d6b433d34d3bae5d85394911a9bf145f1a66c41e997627d074206a8c57909c44c22dc86ed2df746f9ba1f1d7f21d7d60c

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.

Alt_Ergo_common

This package uses the Alt-Ergo_common internal lib (see Alt_ergo_common) for parsing command line, input file, and main solving loop.

Plugins

Why3 parser

for the Why3 parser plugin documentation see ABWhy3

Fourier Motzkin simplex

for the Fourier Motzkin simplex plugin documentation see FMsimplex