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-20150820.tar.gz
sha256=d462de89f0f0a275dc49a8dcfdf92a7d98dfacb175331e6bc86569e8047be73a
md5=9bb307e5d783981e0c8d85bcaba72533

Description

Published: 15 Sep 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