Пакет ddcal: Информация
Бинарный пакет: ddcal
Версия: 0.9-alt5
Архитектура: x86_64
Собран: 26 декабря 2020 г. 13:30 в задании #263937
Исходный пакет: ddcal
Категория: Науки/Математика
Сообщить об ошибке в пакетеЗагрузка: ddcal-0.9-alt5.x86_64.rpm
Домашняя страница: http://vlsi.colorado.edu/vlsi_downloads.html
Лицензия: BSD
О пакете: Калькулятор BDD на основе CUDD
Описание:
DDcal — калькулятор BDD на основе perl-Tk и пакета Cudd.
Сопровождающий: Vladislav Zavjalov
Последнее изменение
10 декабря 2020 г. Vladislav Zavjalov 0.9-alt5
- fix multiple definition error (for gcc-10)
3 октября 2019 г. Vladislav Zavjalov 0.9-alt4
- fix building
4 сентября 2018 г. Vladislav Zavjalov 0.9-alt3
- fix building