Package ddcal: Information

    Source package: ddcal
    Version: 0.9-alt1
    Build time:  Mar 16, 2015, 04:45 PM in the task #141926
    Category: Sciences/Mathematics
    Report package bug
    Gear: https://git.altlinux.org/gears/d/ddcal.git?a=tree;hb=695703e1385…
    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)
    ddcal-debuginfo (x86_64, i586)
    Maintainer: Eugeny A. Rostovtsev
    List of contributors:
    Eugeny A. Rostovtsev
      1. perl-Tk
      2. graphviz
      3. rpm-macros-make
      4. flex
      5. libcudd-devel

    Last changed

    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