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

Description

Published: 28 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