package zdd
Implementation of ZDDs, as well as upward-closed and
downward-closed set families
Install
Dune Dependency
Authors
Maintainers
Sources
zdd-v0.5.tbz
sha256=c99d54dc54ce9ac7d31c3a42991fa90731d95a7401dfb69488ef30cdd6b9676d
sha512=6092931d8255304e228c35ff4d12cbebe1ae728cce27314903194973bb551d6a4af9030d2a986316e09fc0ec5588f0fcbd901581c091cfafdab1aef581272e0e
doc/index.html
On This Page