package bddapron

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

Install

Dune Dependency

Authors

Maintainers

Sources

bddapron-2.3.3.tar.gz
md5=55b075f0242532b9fe293602b6839984

Description

Published: 08 Feb 2019

Dependencies (6)

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

Dev Dependencies

None

Used by

None

Conflicts

None