package mlbdd

  1. Overview
  2. Docs
A high performance BDD implementation in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

v0.1.tar.gz
sha256=f34b8de468772c796bbd1baf1a4bbc9386d2ad1c4c72ad5c319794869faaaed8
md5=e17cee66ef7f74f578b17ad905effc55

Description

The mlbdd library provides a simple, easy-to-use, easy-to-extend implementation of binary decision diagrams (BDDs) in OCaml. It is well tested and well documented. The library itself has no dependencies and is thus easy to include in applications that might, for example, be compiled with js_of_ocaml or other tools that rely on pure OCaml. It is also easier to integrate with existing projects due to its lack of dependencies.

Critically, this BDD implementation uses a garbage-collection-aware hashing scheme, so that unused nodes can be collected. Additionally, this implementation uses complement edges to significantly improve performance over the simplest BDD implementations.

Published: 12 Mar 2015

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind build
  3. ocaml

Dev Dependencies

None

Used by (1)

  1. setr

Conflicts

None

OCaml

Innovation. Community. Security.