Package ddcal: Information
Source package: ddcal
Version: 0.9-alt5
Build time: Dec 26, 2020, 01:30 PM in the task #263937
Category: Sciences/Mathematics
Report package bugHome 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.
List of RPM packages built from this SRPM:
ddcal (x86_64, ppc64le, i586, aarch64)
ddcal-debuginfo (x86_64, ppc64le, i586, aarch64)
ddcal (x86_64, ppc64le, i586, aarch64)
ddcal-debuginfo (x86_64, ppc64le, i586, aarch64)
Maintainer: Vladislav Zavjalov
Last changed
Dec. 10, 2020 Vladislav Zavjalov 0.9-alt5
- fix multiple definition error (for gcc-10)
Oct. 3, 2019 Vladislav Zavjalov 0.9-alt4
- fix building
Sept. 4, 2018 Vladislav Zavjalov 0.9-alt3
- fix building