package mlbdd

  1. Overview
  2. No Docs
An OCaml library for Binary Decision Diagrams (BDDs)

Install

Dune Dependency

Authors

Maintainers

Sources

v0.7.3.tar.gz
md5=6cf89d1cf763e89687f3b45ac80bd614
sha512=81987d086a2370e6c53eb9f549edf9d863aa915b7723714c3147b30dec9c2b763d54df0de8c4919412bd7e9942f6cc9558db855c186f1b3844f904419e09c7a3

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: 29 Jan 2022

Dependencies (2)

  1. ocaml >= "4.04.0"
  2. dune >= "2.7"

Dev Dependencies (2)

  1. odoc with-doc
  2. ounit2 with-test

Used by (3)

  1. memcad >= "1.1.0"
  2. Snowflake
  3. setr

Conflicts

None