bdd

Author Jean-Christophe Filliatre
License GPL
Homepage https://www.lri.fr/~filliatr/ftp/ocaml/bdd/
Dependencies
& obuild
ocamlfind
Published Aug 22, 2014
Source [http] http://www.lri.fr/~filliatr/ftp/ocaml/bdd/bdd-0.3.tar.gz
56834a743f15b1569712125660aa4af4
Statistics Installed 14 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/bdd/bdd.0.3/opam

Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml

Necessary for
hardcaml-bloop
memcad