package bdd

  1. Overview
  2. Docs
Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. J
    Jean-Christophe Filliatre

Maintainers

  1. J
    Jean-Christophe Filliatre

Sources

bdd-0.3.tar.gz
md5=56834a743f15b1569712125660aa4af4

Description

Published: 25 Aug 2014

Dependencies (3)

  1. obuild
  2. ocamlfind
  3. ocaml < "5.0.0"

Dev Dependencies

None

Conflicts

None