Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
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