aez 0.3
| Homepage | http://cubicle.lri.fr/alt-ergo-zero/ | ||||
|---|---|---|---|---|---|
| Maintainer | sylvain.conchon [at] lri.fr | ||||
| Dependencies |
|
||||
| OCaml | >= 3.12 | ||||
| Published | Apr 25, 2013 | ||||
| Source [http] |
http://cubicle.lri.fr/alt-ergo-zero/aez-0.3.tar.gz 42260d8e110defa9c8c5b6cc1eafa29f |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/aez/aez.0.3/opam | ||||
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-typesThis API makes heavy use of hash consing, in particular hash-consed strings.
| No package is dependent |