Пакет ddcal: Информация
Исходный пакет: ddcal
Версия: 0.9-alt1
Собран: 16 марта 2015 г. 16:45 в задании #141926
Категория: Науки/Математика
Сообщить об ошибке в пакетеДомашняя страница: http://vlsi.colorado.edu/vlsi_downloads.html
Лицензия: BSD
О пакете: Калькулятор BDD на основе CUDD
Описание:
DDcal — калькулятор BDD на основе perl-Tk и пакета Cudd.
Список rpm-пакетов, предоставляемых данным srpm-пакетом:
ddcal (x86_64, i586)
ddcal-debuginfo (x86_64, i586)
ddcal (x86_64, i586)
ddcal-debuginfo (x86_64, i586)
Сопровождающий: Eugeny A. Rostovtsev