BSD Portsmath/cudd 3.0.0 DragonFly
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- BSD3CLAUSE
- Categories
- math
- Package size
- 292.7 KiB, 1404.4 KiB installed
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 |
|---|---|---|
| DragonFly | math/cudd | 3.0.0 |
| FreeBSD | math/cudd | 3.0.0 |
| OpenBSD | devel/cudd | 3.0.0p1 |
| MidnightBSD | math/cudd | 3.0.0 |
Install
Binary package:
pkg install cuddFrom DPorts:
cd /usr/dports/math/cudd && make install cleanDependencies
No port depends on this one.