apron 0.9.10
| Author | Bertrand Jeannet and Antoine Mine et. al. | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| License | LGPL | |||||||||||||||||||||
| Homepage | http://apron.cri.ensmp.fr/library/ | |||||||||||||||||||||
| Maintainer | francois.berenger@inria.fr | |||||||||||||||||||||
| Dependencies |
|
|||||||||||||||||||||
| OS | linux | |||||||||||||||||||||
| Published | Jul 23, 2014 | |||||||||||||||||||||
| Source [http] |
https://github.com/UnixJunkie/apron-vanilla/archive/apron_dist_trunk_svn_r1053.tar.gz db99b077a85769b98c8956808963bcbe |
|||||||||||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/apron/apron.0.9.10/opam | |||||||||||||||||||||
APRON numerical abstract domain library
| No package is dependent |