BSD Portswip/cudd 3.0.0 NetBSD
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- License
- modified-bsd
- Categories
- wip, math
Description
CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | wip/cudd | 3.0.0 |
| FreeBSD | math/cudd | 3.0.0 |
| OpenBSD | devel/cudd | 3.0.0p1 |
| DragonFly | math/cudd | 3.0.0 |
| MidnightBSD | math/cudd | 3.0.0 |
| HardenedBSD | math/cudd | 3.0.0 |
| GhostBSD | math/cudd | 3.0.0 |
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/cudd && make install clean