zddversion
Implementation of ZDDs, as well as upward-closed and downward-closed set families
| Author | Benoît Montagu <benoit.montagu@inria.fr> |
|---|---|
| License | LGPL-3.0-or-later |
| Published | |
| Homepage | https://gitlab.inria.fr/bmontagu/zdd |
| Issue Tracker | https://gitlab.inria.fr/bmontagu/zdd/-/issues |
| Maintainer | Benoît Montagu <benoit.montagu@inria.fr> |
| Dependencies | |
| Source [http] | https://bmontagu.gitlabpages.inria.fr/zdd/releases/zdd-v0.5.tbz sha256=c99d54dc54ce9ac7d31c3a42991fa90731d95a7401dfb69488ef30cdd6b9676d sha512=6092931d8255304e228c35ff4d12cbebe1ae728cce27314903194973bb551d6a4af9030d2a986316e09fc0ec5588f0fcbd901581c091cfafdab1aef581272e0e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zdd/zdd.0.5/opam |
No package is dependent
