Package ddcal: Information

    Source package: ddcal
    Version: 0.9-alt3
    Build time:  Jan 15, 2021, 01:18 PM
    Category: Sciences/Mathematics
    Report package bug
    Home page: http://vlsi.colorado.edu/vlsi_downloads.html
    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 (e2kv5, e2kv4, e2k)
    ddcal-debuginfo (e2kv5, e2kv4, e2k)
    Maintainer: Vladislav Zavjalov
    List of contributors:
    Vladislav Zavjalov
    Eugeny A. Rostovtsev
      1. graphviz
      2. libcudd-devel
      3. perl-Tk
      4. flex
      5. rpm-macros-make

    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
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.12.2
    Back to top