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-20151015.tar.gz
sha256=d1eb7d320212d27665679ce1be44ed34080821eb9d1350a8536b1f52ab670752
md5=cd284a4155aa73456868ed36fc37b007

Description

Added to opam-repository:

Dev Dependencies

None

Conflicts

None