package apron

  1. Overview
  2. Docs
APRON numerical abstract domain library

Install

Dune Dependency

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

Authors

  1. B
    Bertrand Jeannet
  2. A
    Antoine Miné

Maintainers

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

Sources

apron-20150930.tar.gz
sha256=f137521806218e2ba76e0d246f98e0f16c728168351895cda7738dc2c191fbb9
md5=3764d577163fd8f486e3ef953abef40f

Description

Published: 01 Oct 2015

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