Group :: Ciências/Matemática
RPM: ddcal
Navegação
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 0.9-alt5
Data da compilação: 26 dezembro 2020, 10:25 ( 172.9 weeks ago )
Tamanho:: 20.55 Kb
Home page: http://vlsi.colorado.edu/vlsi_downloads.html
Licença: BSD
Sumário: BDD calculator based on CUDD
Descrição:
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 26 dezembro 2020, 10:25 ( 172.9 weeks ago )
Tamanho:: 20.55 Kb
Home page: http://vlsi.colorado.edu/vlsi_downloads.html
Licença: BSD
Sumário: BDD calculator based on CUDD
Descrição:
DDcal is a BDD calculator based on perl-Tk and the Cudd package.
Mantenedor currente: Vladislav Zavjalov Lista dos contribuidores Lista dos rpms provida por esta srpm:
- ddcal
- ddcal-debuginfo