Software Open Access

meolic/biddy: Biddy

Robert Meolic

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 (1.1 MB)
Name Size
meolic/biddy-v1.8.2.zip
md5:fcfb49b574a558f4eec16d0ba1958348
1.1 MB Download
12
3
views
downloads
All versions This version
Views 1212
Downloads 33
Data volume 3.4 MB3.4 MB
Unique views 1212
Unique downloads 22

Share

Cite as