package bddapron

  1. Overview
  2. Docs
Logico-numerical domain(s) based on BDDs and APRON

Install

Dune Dependency

Authors

Maintainers

Sources

bddapron-2.2.4.tar.gz
sha256=c07e72eddaf361ce4f76a04dc545072ff9443bde1e46f0b92dc46b9e6351b3c3
md5=b7133a7ecd7fa2f4699b44cd2534a9fd

Description

Published: 14 Jan 2016

Dependencies (6)

  1. ocamlbuild build
  2. apron >= "20151015"
  3. mlcuddidl >= "2.3.0"
  4. camllib
  5. ocamlfind build
  6. ocaml >= "4.02.0" & < "4.06"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.