The Alt-ergo prover

The alt-ergo package installs the alt-ergo binary, whose documentation is available through the --help option.


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


Why3 parser

for the Why3 parser plugin documentation see ABWhy3

Fourier Motzkin simplex

for the Fourier Motzkin simplex plugin documentation see FMsimplex