Opam Package aez.0.3

Package info

opam-nameaez
opam-version0.3
synopsisAlt-Ergo Zero is an OCaml library for an SMT solver.
description This SMT solver is derived from Alt-Ergo. It uses an efficient SAT solver and supports the following quantifier free theories: - Equality and uninterpreted functions - Arithmetic (linear, non-linear, integer, real) - Enumerated data-types This API makes heavy use of hash consing, in particular hash-consed strings.
homepagehttp://cubicle.lri.fr/alt-ergo-zero/
deps (3)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

aez

Package files

lib/aez/aez.cmxa
lib/aez/aez.cmi
lib/aez/aez.cma
lib/aez/aez.a
lib/aez/META
lib/aez