UNI-MB - logo
UMNIK - logo
 
(UM)
  • Biddy - a multi-platform academic BDD package
    Meolic, Robert
    Biddy is a BDD package under GPL, developed at the University of Maribor. It uses ROBDDs with comple-ment edges, as described in the paper K. S. Brace, R. L. Rudell, R. E. Bryant, Efficient ... Implementation of a BDD Package, 1990. Compared to other available BDD packages, Biddy's most distinguishing featuresare its specially de-signed C interface and an original implementationof auto-matic garbage collection. More generally, the Biddy project is not only concerned with the computer library, but also of-fers a demo application for the visualization of BDDs, called BDD Scout. The whole project is oriented towards a read-able and comprehensible source code in C, which can be compiled unchanged on different platforms, including GNU/Linux and MS Windows.
    Vir: Journal of software. - ISSN 1796-217X (Vol. 7, no. 6, Jun. 2012, str. 1358-1366)
    Vrsta gradiva - članek, sestavni del
    Leto - 2012
    Jezik - angleški
    COBISS.SI-ID - 16266006
    DOI

vir: Journal of software. - ISSN 1796-217X (Vol. 7, no. 6, Jun. 2012, str. 1358-1366)

loading ...
loading ...
loading ...