BSD Portswip/py-dd 0.6.0 NetBSD
Binary decision diagrams in Python, wrappers of CUDD, Sylvan, BuDDy
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- License
- modified-bsd
- Categories
- wip, devel
Description
dd is a package for working with binary decision diagrams that includes both a pure Python implementation and Cython bindings to C libraries (CUDD, Sylvan, BuDDy). The Python and Cython modules implement the same API, so the same user code runs with both. All the standard operations on BDDs are available, including dynamic variable reordering using sifting, garbage collection, dump/load from files, plotting, and a parser of quantified Boolean expressions.
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/py-dd && make install cleanDependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.
Dependencies
Build dependencies 2
Run dependencies 3
No port depends on this one.