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.2.tbz
sha256=f460c17011f8f6c85e3b9023983b339cc11bc34252ae748e708211378d3f6895
sha512=cc4707f22596838dd242dc2e42b5d744dd0c44f5283c0a36074761d5b8c91e6f46fed2aebb5f6a96d50f94e5da2b74cd18447574668db255a19a6fb0cda9bbb7

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: 18 Oct 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.2"
  2. alt-ergo-parsers >= "2.5.2"
  3. alt-ergo-plugin-ab-why3 >= "2.5.2"

Conflicts (2)

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