package alt-ergo-lib
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
Maintainers
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/
Dependencies (13)
-
camlzip
>= "1.07"
-
ppx_blob
>= "0.7.2"
- stdlib-shims
-
fmt
>= "0.9.0"
- seq
-
zarith
>= "1.11"
-
ocplib-simplex
>= "0.5"
-
dolmen_loop
>= "0.9"
-
dolmen_type
>= "0.9"
-
dolmen
>= "0.9"
- dune-build-info
-
dune
>= "3.0"
-
ocaml
>= "4.08.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (3)
-
alt-ergo
>= "2.5.2"
-
alt-ergo-parsers
>= "2.5.2"
-
alt-ergo-plugin-ab-why3
>= "2.5.2"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page