Package ddcal: Information

    Source package: ddcal
    Version: 0.9-alt5
    Build time:  Mar 12, 2022, 09:57 AM
    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. flex
      2. rpm-macros-make
      3. perl-Tk
      4. libcudd-devel
      5. graphviz

    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