apron

Authors { Bertrand Jeannet, Antoine Miné }
License LGPL-2.1 with linking exception
Homepage http://apron.cri.ensmp.fr/library/
Issue Tracker https://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse
Tag flags:light-uninstall
Maintainer Nicolas Berthier <m@nberth.space>
Dependencies
& camlidl
mlgmpidl
ocamlbuild
ocamlfind
Optional dependencies
conf-ppl
Published May 6, 2016
Source [http] http://apron.gforge.inria.fr/apron-20160125.tar.gz
6bd20a4b4f42c2c467b26dc2b4024e55
Statistics Installed 158 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/apron/apron.20160125/opam

APRON numerical abstract domain library

Necessary for
bddapron
clangml
0.5.2
memcad