aezversion

Alt-Ergo Zero is an OCaml library for an SMT solver.

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.

Published
Homepagehttp://cubicle.lri.fr/alt-ergo-zero/
Maintainersylvain.conchon [at] lri.fr
Dependencies
Source [http] http://cubicle.lri.fr/alt-ergo-zero/aez-0.3.tar.gz
sha256=d54d57c572b1329002d5ae11e92ff58caf7e3d15efb7824a835d2944ad9698a7
md5=42260d8e110defa9c8c5b6cc1eafa29f
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/aez/aez.0.3/opam
No package is dependent