BSD Portswip/sylvan 1.5.0 NetBSD
Multi-core Decision Diagram (BDD/LDD) implementation
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- License
- apache-2.0
- Categories
- wip, devel
Description
Sylvan is a parallel (multi-core) multi-terminal binary decision diagram library written in C. Sylvan implements typical binary decision diagram operations also found in libraries like CUDD, but provides scalable parallel execution of these operations and is more versatile thanks to supporting custom decision diagram terminal types.
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/sylvan && make install clean