Opam Package bdd.0.3

Package info

opam-namebdd
opam-version0.3
synopsisQuick implementation of a Binary Decision Diagrams (BDD) library for OCaml
authors
  • Jean-Christophe Filliatre
homepagehttps://www.lri.fr/~filliatr/ftp/ocaml/bdd/
licenseGPL-1.0-or-later
deps (3)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

bdd

Package files

lib/bdd/bdd.cmxs
lib/bdd/bdd.cmxa
lib/bdd/bdd.cmx
lib/bdd/bdd.cmti
lib/bdd/bdd.cmt
lib/bdd/bdd.cmi
lib/bdd/bdd.cma
lib/bdd/bdd.a
lib/bdd/META
lib/bdd