Full description
Alt-Ergo is an open-source automatic solver of mathematical formulas
designed for program verification. It is based on Satisfiability Modulo
Theories (SMT). Solvers of this family have made impressive advances
and became very popular during the last decade. They are now used is
various domains such as hardware design, software verification and
formal testing.
Packages