apron

AuthorsBertrand Jeannet and Antoine Miné
LicenseLGPL-2.1
Homepagehttp://apron.cri.ensmp.fr/library/
Issue Trackerhttps://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse
Tagflags:light-uninstall
MaintainerNicolas Berthier <m@nberth.space>
Dependencies
&camlidl
conf-perl
mlgmpidl
ocamlfind
Optional dependencies
conf-ppl
Availableopam-version >= "1.2"
PublishedSep 14, 2015
Source [http] http://apron.gforge.inria.fr/apron-20150820.tar.gz
9bb307e5d783981e0c8d85bcaba72533
StatisticsInstalled 7 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/apron/apron.20150820/opam

APRON numerical abstract domain library