Пакет 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. libcudd-devel
      2. perl-Tk
      3. graphviz
      4. flex
      5. rpm-macros-make

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


    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