Package ddcal: Information

    Source package: ddcal
    Version: 0.9-alt3
    Build time:  Sep 4, 2018, 10:25 AM in the task #212545
    Category: Sciences/Mathematics
    Report package bug
    Gear: https://git.altlinux.org/gears/d/ddcal.git?a=tree;hb=545b6bbf09f…
    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 rpms provided by this srpm:
    ddcal (x86_64, i586, aarch64)
    ddcal-debuginfo (x86_64, i586, aarch64)
    Maintainer: Vladislav Zavjalov
    List of contributors:
    Vladislav Zavjalov
    Eugeny A. Rostovtsev
      1. perl-Tk
      2. graphviz
      3. flex
      4. rpm-macros-make
      5. libcudd-devel

    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.4.2
    Back to top