package alt-ergo-parsers

  1. Overview
  2. Docs
The Alt-Ergo SMT prover parser 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 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: 15 Sep 2023

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.1"
  2. alt-ergo-plugin-ab-why3 = "2.5.1"

Conflicts

None