BSD Portsmath/cudd 3.0.0 MidnightBSD
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
- System
- MidnightBSD
- Repository
- mports
- Maintainer
- [email protected]
- License
- bsd3
- Categories
- 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 |
|---|---|---|
| MidnightBSD | math/cudd | 3.0.0 |
| FreeBSD | math/cudd | 3.0.0 |
| OpenBSD | devel/cudd | 3.0.0p1 |
| NetBSD | wip/cudd | 3.0.0 |
| DragonFly | math/cudd | 3.0.0 |
| HardenedBSD | math/cudd | 3.0.0 |
| GhostBSD | math/cudd | 3.0.0 |
Install
Binary package:
mport install cuddFrom mports:
cd /usr/mports/math/cudd && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= cudd>0:math/cuddDependencies
Required by 1
Configuration
No options to configure.
- USES
- gmake libtool
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| cudd-3.0.0.tar.gz | 1.175302e+06 | b8e966b4562c96a03e7fbea239729587d7b395d53cadcc39a7203b49cf7eeb69 |
Master sites 1
- https://davidkebo.com/source/cudd_versions/