The Biddy BDD package - Biddy v2.4.1

Biddy v2.4.1 has been released on Jul 9, 2024, and includes BDD Scout v2.4.1 and bddview v1.4.

Scientific Software - Peer-reviewed - C
Published by meolic over 1 year ago

The Biddy BDD package - Biddy v2.2.1

Biddy v2.2.1 has been released on Dec 30, 2022, and includes BDD Scout v2.2.1 and bddview v1.4.

Scientific Software - Peer-reviewed - C
Published by meolic about 3 years ago

The Biddy BDD package - Biddy v2.1.1

Biddy v2.1.1 has been released on Aug 30, 2021, and includes BDD Scout v2.1.1 and bddview v1.4.

Scientific Software - Peer-reviewed - C
Published by meolic over 4 years ago

The Biddy BDD package - Biddy v2.0.2

Biddy v2.0.2 has been released on May 4, 2020, and includes BDD Scout v2.0.2 and bddview v1.3.

Scientific Software - Peer-reviewed - C
Published by meolic over 5 years ago

The Biddy BDD package - Biddy

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.

Scientific Software - Peer-reviewed - C
Published by meolic about 7 years ago