buddy
Binary Decision Diagram Package
A Binary Decision Diagram library, with :many highly efficient vectorized BDD operations,dynamic variable reordering,automated garbage collection,a C++ interface with automatic reference counting,and much more.
homepage ↗ sourceforge: buddy
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 2.4-r1 | 1 | 17 h | details › |
Versions & arches
Use flags of 2.4-r1
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- examples Install examples, usually source code