Published February 11, 2019
| Version v1.8.2
Software
Open
meolic/biddy: Biddy
Creators
Description
The Biddy BDD package, v1.8.2 (SVN revision 544).
This version supports plain ROBDDs, ROBDDs with complemented edges, 0-sup-BDDs, 0-sup-BDDs with complemented edges, and tagged 0-sup-BDDs.
The development of this software has been supported by University of Maribor, Slovenia.
Files
meolic/biddy-v1.8.2.zip
Files
(1.1 MB)
Name | Size | Download all |
---|---|---|
md5:fcfb49b574a558f4eec16d0ba1958348
|
1.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/meolic/biddy/tree/v1.8.2 (URL)