bdd

AuthorJean-Christophe Filliatre
LicenseGPL
Homepagehttps://www.lri.fr/~filliatr/ftp/ocaml/bdd/
Dependencies
&obuild
ocamlfind
PublishedAug 22, 2014
Source [http] https://www.lri.fr/~filliatr/ftp/ocaml/bdd/bdd-0.3.tar.gz
56834a743f15b1569712125660aa4af4
StatisticsInstalled 18 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bdd/bdd.0.3/opam

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