Package ddcal: Information

    Source package: ddcal
    Version: 0.9-alt5
    Build time:  Sep 19, 2022, 02:14 PM
    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.

    List of RPM packages built from this SRPM:
    ddcal (e2kv6, e2kv5, e2kv4, e2k)
    ddcal-debuginfo (e2kv6, e2kv5, e2kv4, e2k)

    Maintainer: Vladislav Zavjalov


      1. graphviz
      2. libcudd-devel
      3. perl-Tk
      4. flex
      5. rpm-macros-make

    Last changed


    Dec. 10, 2020 Vladislav Zavjalov 0.9-alt5
    - fix multiple definition error (for gcc-10)
    Oct. 3, 2019 Vladislav Zavjalov 0.9-alt4
    - fix building
    Sept. 4, 2018 Vladislav Zavjalov 0.9-alt3
    - fix building