• en

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