Group :: Sciences/Mathematics
RPM: ddcal
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 0.9-alt5
Build date: 26 december 2020, 10:25 ( 173.0 weeks ago )
Size: 20.55 Kb
Home page: http://vlsi.colorado.edu/vlsi_downloads.html
License: BSD
Summary: BDD calculator based on CUDD
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 26 december 2020, 10:25 ( 173.0 weeks ago )
Size: 20.55 Kb
Home page: http://vlsi.colorado.edu/vlsi_downloads.html
License: BSD
Summary: BDD calculator based on CUDD
Description:
DDcal is a BDD calculator based on perl-Tk and the Cudd package.
Current maintainer: Vladislav Zavjalov List of contributors List of rpms provided by this srpm:
- ddcal
- ddcal-debuginfo