Opam Package mlbdd.0.7.2

Package info

opam-namemlbdd
opam-version0.7.2
synopsisAn OCaml library for Binary Decision Diagrams (BDDs)
descriptionThe 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.
authors
  • Arlen Cox <arlencox@gmail.com>
homepagehttps://github.com/arlencox/mlbdd
licenseBSD
changes-fileCHANGES.md
readme-fileREADME.md
deps (4)
revdeps (2)
metas (1)
libraries (1)

Package modules

Package sources

mlbdd

Package files

lib/mlbdd/opam
lib/mlbdd/mLBDD.cmx
lib/mlbdd/mLBDD.cmti
lib/mlbdd/mLBDD.cmt
lib/mlbdd/mLBDD.cmi
lib/mlbdd/dune-package
lib/mlbdd/MLBDD.mli
lib/mlbdd/MLBDD.ml
lib/mlbdd/MLBDD.cmxs
lib/mlbdd/MLBDD.cmxa
lib/mlbdd/MLBDD.cma
lib/mlbdd/MLBDD.a
lib/mlbdd/META
lib/mlbdd
doc/mlbdd/README.md
doc/mlbdd/LICENSE.txt
doc/mlbdd/CHANGES.md
doc/mlbdd