Репозиторий Sisyphus
Последнее обновление: 18 октября 2018 | Пакетов: 18641 | Посещений: 12385878
en ru br
Репозитории ALT

Группа :: Науки/Математика
Пакет: ddcal

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Текущая версия: 0.9-alt3
Время сборки: 4 сентября 2018, 07:17 ( 6.4 недели назад )
Размер архива: 20.23 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
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin