package alt-ergo-lib

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

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

This is the core library used in the Alt-Ergo SMT solver.

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 http://alt-ergo.ocamlpro.com/

Tags

org:OCamlPro

Published: 15 Sep 2023

Dependencies (13)

  1. camlzip >= "1.07"
  2. ppx_blob >= "0.7.2"
  3. stdlib-shims
  4. fmt >= "0.9.0"
  5. seq
  6. zarith >= "1.11"
  7. ocplib-simplex >= "0.5"
  8. dolmen_loop >= "0.9"
  9. dolmen_type >= "0.9"
  10. dolmen >= "0.9"
  11. dune-build-info
  12. dune >= "3.0"
  13. ocaml >= "4.08.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by (3)

  1. alt-ergo = "2.5.1"
  2. alt-ergo-parsers = "2.5.1"
  3. alt-ergo-plugin-ab-why3 = "2.5.1"

Conflicts (2)

  1. result < "1.5"
  2. ppxlib < "0.30.0"