bddversion
Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml
Author | Jean-Christophe Filliatre |
---|---|
License | GPL-1.0-or-later |
Published | |
Homepage | https://github.com/backtracking/ocaml-bdd |
Issue Tracker | https://github.com/backtracking/ocaml-bdd/issues |
Maintainer | Jean-Christophe Filliatre |
Dependencies | |
Source [http] | https://www.lri.fr/~filliatr/ftp/ocaml/bdd/bdd-0.3.tar.gz sha256=678e591c9b5ee7cd310589c433828c266204f7c260627aea5e5d12798ec9c3c0 md5=56834a743f15b1569712125660aa4af4 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bdd/bdd.0.3/opam |
Required by