apronversion

APRON numerical abstract domain library

AuthorsBertrand Jeannet and Antoine Miné
LicenseLGPL-2.1 with linking exception
Published
Homepagehttp://apron.cri.ensmp.fr/library/
Issue Trackerhttps://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse
MaintainerNicolas Berthier <m@nberth.space>
Dependencies
Optional dependencies
Source [http] http://apron.gforge.inria.fr/apron-20160125.tar.gz
md5=6bd20a4b4f42c2c467b26dc2b4024e55
StatisticsInstalled 326 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/apron/apron.20160125/opam