apron
APRON numerical abstract domain library
Author | Bertrand Jeannet and Antoine Mine et. al. |
---|---|
License | LGPL |
Homepage | http://apron.cri.ensmp.fr/library/ |
Maintainer | francois.berenger@inria.fr |
OS | linux |
Events
Jul 23, 2014
Published version 0.9.10