package apron

  1. Overview
  2. Docs
APRON numerical abstract domain library

Install

Dune Dependency

Authors

Maintainers

Sources

apron-20150820.tar.gz
sha256=d462de89f0f0a275dc49a8dcfdf92a7d98dfacb175331e6bc86569e8047be73a
md5=9bb307e5d783981e0c8d85bcaba72533

Description

Published: 15 Sep 2015

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.