mlbddversion

A high performance BDD implementation in OCaml

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.

AuthorArlen Cox <arlencox@gmail.com>
LicenseMIT
Published
Homepagehttps://github.com/arlencox/mlbdd
Issue Trackerhttps://github.com/arlencox/mlbdd/issues
MaintainerArlen Cox <arlencox@gmail.com>
Dependencies
Source [http] https://github.com/arlencox/mlbdd/archive/v0.5.tar.gz
sha256=a9d3303f91056640a2116d035c2982f1a609cd17f4f19011b34600af4e005528
md5=f9b516bb0531501a09c7e9c533be3e25
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mlbdd/mlbdd.0.5/opam
Required by