sylvan
Parallel decision diagram library
Sylvan is a parallel decision diagram library supporting binary decision diagrams (BDDs), multi-terminal BDDs and list decision diagrams. It uses the Lace framework for parallel execution.
homepage ↗ github: trolando/sylvan
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| eventb-rossi GitHub ↗ | 1.1.1 | 1 | 27 h | details › |
Versions & arches
Use flags of 1.1.1
- test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)