PyCUDD

PyCUDD is an enhanced Python interface to the Colorado University BDD package, CUDD. Feel free to send in suggestions/bug reports/enhancements! To build PyCUDD, you’ll also need SWIG. PyCUDD has been tested on Linux+x86 and Linux+amd64 architectures. PyCUDD is licensed by the University of California under the open source on BSD Version Clause 3 License.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Bulychev, P. E.: Game-theoretic simulation checking tool (2011)