bdd 0.3
| Author | Jean-Christophe Filliatre | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| License | GPL | |||||||||||||
| Homepage | https://www.lri.fr/~filliatr/ftp/ocaml/bdd/ | |||||||||||||
| Dependencies |
|
|||||||||||||
| Published | Aug 22, 2014 | |||||||||||||
| Source [http] |
https://www.lri.fr/~filliatr/ftp/ocaml/bdd/bdd-0.3.tar.gz 56834a743f15b1569712125660aa4af4 |
|||||||||||||
| 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
| No package is dependent |