| Name : yosyshq-abc-libs
| |
| Version : 0.46
| Vendor : Fedora Project
|
| Release : 1.20241011gitcac8f99.fc40
| Date : 2024-10-12 16:18:56
|
| Group : Unspecified
| Source RPM : yosyshq-abc-0.46-1.20241011gitcac8f99.fc40.src.rpm
|
| Size : 14.40 MB
| |
| Packager : Fedora Project
| |
| Summary : Library for sequential synthesis and verification
|
Description :
This package contains the core functionality of ABC as a shared library.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/40/Everything/x86_64/Packages/y |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
abc-libs
bundled(cudd)
bundled(glucose)
bundled(minisat2)
bundled(satoko)
libabc.so.0()(64bit)
yosyshq-abc-libs
yosyshq-abc-libs(x86-64)
Requires :
