package alt-ergo-parsers

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

Install 

dune-project
 Dependency

alt-ergo.ocamlpro.com Edit opam file Versions (15)

Authors

  1. A
    Alt-Ergo developers

Maintainers

  1. A
    Alt-Ergo developers

Sources

alt-ergo-2.5.3.tbz
sha256=b6658b6412df7667d894242afb37149de7ae783004e8025e64ccbc91f3420b4e
sha512=05e32ef0087b904a422f172ff7eb156e1d79d20f91cd873bd78066ae4a78e1438254148f787570e97d2856c6aa4058a6c7e8e1c08065704b5b3e2cfeafa28b88

Description

This is the parser 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: 21 Mar 2024

Dependencies (6)

  1. stdlib-shims
  2. menhir
  3. psmt2-frontend >= "0.4"
  4. alt-ergo-lib = version
  5. dune >= "3.0"
  6. ocaml >= "4.08.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by (2)

  1. alt-ergo = "2.5.3"
  2. alt-ergo-plugin-ab-why3 = "2.5.3"

Conflicts

None