Группа :: Науки/Математика
Пакет: ddcal
навигация по пакетам
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 0.9-alt5
Время сборки: 26 декабря 2020, 10:25 ( 116.5 недели назад )
Размер архива: 20.55 Kb
Домашняя страница: http://vlsi.colorado.edu/vlsi_downloads.html
Лицензия: BSD
О пакете: BDD calculator based on CUDD
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 26 декабря 2020, 10:25 ( 116.5 недели назад )
Размер архива: 20.55 Kb
Домашняя страница: http://vlsi.colorado.edu/vlsi_downloads.html
Лицензия: BSD
О пакете: BDD calculator based on CUDD
Описание:
DDcal is a BDD calculator based on perl-Tk and the Cudd package.
Текущий майнтейнер: Vladislav Zavjalov Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
- ddcal
- ddcal-debuginfo