package apron

  1. Overview
  2. Docs
APRON numerical abstract domain library

Install

Dune Dependency

Authors

Maintainers

Sources

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

Description

Published: 01 Oct 2015

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.