bddversion

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

AuthorJean-Christophe Filliatre
LicenseGPL-1.0-or-later
Published
Homepagehttps://github.com/backtracking/ocaml-bdd
Issue Trackerhttps://github.com/backtracking/ocaml-bdd/issues
MaintainerJean-Christophe Filliatre
Dependencies
Source [http] https://www.lri.fr/~filliatr/ftp/ocaml/bdd/bdd-0.3.tar.gz
sha256=678e591c9b5ee7cd310589c433828c266204f7c260627aea5e5d12798ec9c3c0
md5=56834a743f15b1569712125660aa4af4
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bdd/bdd.0.3/opam