Пакет ddcal: Информация

    Исходный пакет: ddcal
    Версия: 0.9-alt3
    Собран:  4 сентября 2018 г. 10:25 в задании #212545
    Категория: Науки/Математика
    Сообщить об ошибке в пакете
    Домашняя страница: http://vlsi.colorado.edu/vlsi_downloads.html

    Лицензия: BSD
    О пакете: Калькулятор BDD на основе CUDD
    Описание: 
    DDcal — калькулятор BDD на основе perl-Tk и пакета Cudd.

    Список rpm-пакетов, предоставляемых данным srpm-пакетом:
    ddcal (x86_64, i586, aarch64)
    ddcal-debuginfo (x86_64, i586, aarch64)

    Сопровождающий: Vladislav Zavjalov

    Список участников:
    Vladislav Zavjalov
    Eugeny A. Rostovtsev

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

    Последнее изменение


    4 сентября 2018 г. Vladislav Zavjalov 0.9-alt3
    - fix building
    12 августа 2018 г. Vladislav Zavjalov 0.9-alt2
    - fix building with make -jN
    16 марта 2015 г. Eugeny A. Rostovtsev 0.9-alt1
    - Initial build for Sisyphus