Package ddcal: Information
Source package: ddcal
Version: 0.9-alt5
Build time: Sep 19, 2022, 02:14 PM
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 (e2kv6, e2kv5, e2kv4, e2k)
ddcal-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
ddcal (e2kv6, e2kv5, e2kv4, e2k)
ddcal-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
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