Пакет 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)
ddcal (e2kv5, e2kv4, e2k)
ddcal-debuginfo (e2kv5, e2kv4, e2k)
Сопровождающий: Vladislav Zavjalov
Последнее изменение
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