package alt-ergo

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

Install

alt-ergo.ocamlpro.com Readme Changelog LicenseRef-OCamlpro-Non-Commercial; Apache-2.0 License Edit opam file

Authors

  1. A
    Alt-Ergo developers

Maintainers

  1. A
    Alt-Ergo developers

Sources

alt-ergo-2.5.1.tbz
sha256=9cf8d69a0e457a939b86aba2a18c6154faba51d387b42a361ece55d329dd601d
sha512=09694d18496ba1938daaa7b4e28e6b3d6811687dd3aaede17917f20511be9d8328394fac021af683d4c0217d4b030da9a60a5b9c14d968f1948735ea7ec52543

Description

Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.

See more details on https://alt-ergo.ocamlpro.com/

Tags

org:OCamlPro

Published: 15 Sep 2023

Dependencies (7)

  1. cmdliner >= "1.1.0"
  2. dune-site
  3. menhir
  4. alt-ergo-parsers = version
  5. alt-ergo-lib = version
  6. dune >= "3.0"
  7. ocaml >= "4.08.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by (5)

  1. alt-ergo-plugin-ab-why3 = "2.5.1"
  2. frama-c >= "13.1"
  3. lambdapi >= "2.1.0" & < "2.2.1"
  4. why >= "2.32" & < "2.35"
  5. why3 < "0.85"

Conflicts

None