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-20160108.tar.gz
sha256=b28a14e4982e8ad120d7387a5af6dcdbf6089bb6d2d3a181dea2f3defd40a18e
md5=b70049d066a909b756d31f91a2bdce84

Description

Published: 14 Jan 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