Package ddcal: Information

    Binary package: ddcal
    Version: 0.9-alt3
    Architecture: aarch64
    Build time:  Sep 4, 2018, 10:25 AM in the task #212545
    Source package: ddcal
    Report package bug
    License: BSD
    Summary: BDD calculator based on CUDD
    Description: 
    DDcal is a BDD calculator based on perl-Tk and the Cudd package.

    Maintainer: Vladislav Zavjalov


    Last changed


    Sept. 4, 2018 Vladislav Zavjalov 0.9-alt3
    - fix building
    Aug. 12, 2018 Vladislav Zavjalov 0.9-alt2
    - fix building with make -jN
    March 16, 2015 Eugeny A. Rostovtsev 0.9-alt1
    - Initial build for Sisyphus