Biddy is a multi-platform academic Binary Decision Diagrams package.

  • Biddy is free software released under GPL.
  • Biddy uses ROBDDs with complement edges.
  • Biddy supports automatic garbage collection and sifting algorithm.
  • Biddy is oriented towards readable and comprehensible source code in C.
  • Biddy is used in EST, a tool for formal verification of systems.

    bddview

  • bddview is a pure Tcl/Tk script for visualization of BDDs.
  • bddview is a graph viewer only and does not use a BDD package.
  • bddview has been released into the public domain.

    BDD Scout

  • BDD Scout is a demo application demonstrating the capability of Biddy and bddview.
  • You will need Tcl/Tk + BWidgets to run it.
  • You have to install Graphviz to be able to visualize BDDs created by Biddy.
  • You have to install Ghostscript to be able to export BDDs as PNG images and PDF documents.

    Download

  • If you want to try BDD Scout, download it. Statically linked program should run even if Biddy library is not installed on your computer (and it will not use your Biddy library if you have one). Deb and rpm files include dynamically linked program, thus you will also need appropriate libbiddy and extensions packages.
  • If you want to make your own project using Biddy, you need the development version of Biddy. Zip files of BDD Scout include complete source code, thus they can serve as a good starting and reference examples.
  • If you try to run a program which uses Biddy library, but you do not have it, download the binary version of Biddy. It contains Biddy library, only.
  • If you are interested in changing Biddy library, download the complete source code of the Biddy project, which includes sources of bddview, sources of BDD Scout, and also various makefiles and packaging scripts.
  • The latest sources can be obtained from Savannah SVN repository and local SVN repository.
  • Please, ask for packages of other types or for other systems and we will generate it.
  • Bugs can be reported via author's email or through Savannah portal.

    External links

  • R. Meolic. Biddy - a multi-platform academic BDD package. 2012
  • G. Janssen. A Consumer Report on BDD Packages. 2003
  • K. S. Brace, R. L. Rudell, and R. E. Bryant. Efficient Implementation of a BDD Package. 1990
  • Biddy the Hedgehog - an unrelated, but nevertheless interesting project!

  • Screenshots from
    BDD Scout v1.2

    bddscout1.2-screenshot1.png
    The zoom-out capability allows you to see the whole BDD

    bddscout1.2-screenshot2.png
    You can move nodes and subgraphs

    bddscout1.2-screenshot3.png
    The results of IFIP benchmark test

    Biddy

    BDD Scout

    BDD Scout extensions

    BINARY VERSION
    biddy-bin-1-2-Win.exe
    libbiddy1_1.2-1_i386.deb
    libbiddy1_1.2-1_amd64.deb
    libbiddy1-1.2-1.i386.rpm

    DEVELOPMENT VERSION
    biddy-1-2-Win.exe
    libbiddy1-dev_1.2-1_i386.deb
    libbiddy1-dev_1.2-1_amd64.deb
    libbiddy1-devel-1.2-1.i386.rpm
    libbiddy1-1.2-1-deb-source.zip

    STATICALLY LINKED BINARY + SOURCE
    bddscout-1-2-Win.exe
    bddscout-1-2-Linux.zip
    bddscout-1-2-Linux64.zip

    LINUX PACKAGES
    bddscout_1.2-1_i386.deb
    bddscout_1.2-1_amd64.deb
    bddscout-1.2-1.i386.rpm
    bddscout-1.2-1-deb-source.zip

    COMPLETE SOURCE
    biddy-source-1-2.zip

    BRA (Best Reordering Algorithm)
    bddscout-bra_1.2-1_i386.deb
    bddscout-bra-1.2-1.i386.rpm
    bddscout-bra_1.2-1_amd64.deb

    IFIP (IFIP Benchmarks)
    bddscout-ifip_1.2-1_i386.deb
    bddscout-ifip-data_1.2-1_i386.deb
    bddscout-ifip_1.2-1_amd64.deb
    bddscout-ifip-data_1.2-1_amd64.deb
    bddscout-ifip-1.2-1.i386.rpm
    bddscout-ifip-data-1.2-1.i386.rpm

    BDD Scout v1.2 has been updated on May 28, 2014, and is based on Biddy v1.2 and bddview v0.98. Here is the last project's README.

    Biddy is maintained by Robert Meolic (robert.meolic@um.si) at University of Maribor, Slovenia.