bddversion
Implementation of BDD
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/backtracking/ocaml-bdd |
| Issue Tracker | https://github.com/backtracking/ocaml-bdd/issues |
| Maintainer | Jean-Christophe.Filliatre@cnrs.fr |
| Dependencies |
|
| Source [http] | https://github.com/backtracking/ocaml-bdd/archive/refs/tags/0.5.tar.gz md5=193cf8d966bbca4d864ac82460a18523 sha512=79c3f20fb17236c0f53af7fb42ba82f3e6f776c9e9def8fb3f219936fc5b72961c27a58eee8056cd92ce260b40568c5b16b67709e0bbc943e22f9e49a031aa16 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bdd/bdd.0.5/opam |
Required by
