package apron

  1. Overview
  2. Docs
APRON numerical abstract domain library

Install

Dune 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-20160125.tar.gz
sha256=d5a9c4b9488c4e41c0c195f69e22f856773ebf137e88174aed7cf4147eb45b6d
md5=6bd20a4b4f42c2c467b26dc2b4024e55

Description

Published: 06 May 2016

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct