opam on Github

bddversion
0.5 (latest)
Documentation on ocaml.org

Implementation of BDD

AuthorJean-Christophe Filliâtre
LicenseLGPL-2.1-only
Published
Homepagehttps://github.com/backtracking/ocaml-bdd
Issue Trackerhttps://github.com/backtracking/ocaml-bdd/issues
MaintainerJean-Christophe.Filliatre@cnrs.fr
Dependencies
Source [http] https://github.com/backtracking/ocaml-bdd/archive/refs/tags/0.5.tar.gz
md5=193cf8d966bbca4d864ac82460a18523
sha512=79c3f20fb17236c0f53af7fb42ba82f3e6f776c9e9def8fb3f219936fc5b72961c27a58eee8056cd92ce260b40568c5b16b67709e0bbc943e22f9e49a031aa16
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bdd/bdd.0.5/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.