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
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.