package mlbdd
A high performance BDD implementation in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.tar.gz
sha256=cd7f38bb15a6e80aa0ece84d276b83bd447040970b60b1300483559f9695f960
md5=a1211a2f6132bbc5fb8d6e2ce0fdfe7c
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: 17 Apr 2015
Dependencies (3)
-
ocamlbuild
build
-
ocamlfind
build
- ocaml
Dev Dependencies
None
Used by (1)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page