Репозиторий Sisyphus
Последнее обновление: 1 октября 2023 | Пакетов: 18631 | Посещений: 37041283
en ru br
Репозитории ALT

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

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

Текущая версия: 0.9-alt5
Время сборки: 26 декабря 2020, 10:25 ( 169.8 недели назад )
Размер архива: 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
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin