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
| Author | Bertrand Jeannet and Antoine Mine et. al. |
|---|---|
| License | LGPL |
| Homepage | http://apron.cri.ensmp.fr/library/ |
| Maintainer | francois.berenger@inria.fr |
| OS | linux |
Published version 0.9.10