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

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

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

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

    Сопровождающий: 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