package apron

  1. Overview
  2. Docs
APRON numerical abstract domain library

Install 

dune-project
 Dependency

apron.cri.ensmp.fr Edit opam file Versions (10)

Authors

  1. B
    Bertrand Jeannet
  2. A
    Antoine Miné

Maintainers

  1. N
    Nicolas Berthier <m@nberth.space>

Sources

apron-20150820.tar.gz
sha256=d462de89f0f0a275dc49a8dcfdf92a7d98dfacb175331e6bc86569e8047be73a
md5=9bb307e5d783981e0c8d85bcaba72533

Description

Added to opam-repository:

Dev Dependencies

None

Conflicts

None