| Name : yosyshq-abc-libs
| |
| Version : 0.46
| Vendor : Fedora Project
|
| Release : 2.20241011gitcac8f99.fc42
| Date : 2025-01-19 17:40:30
|
| Group : Unspecified
| Source RPM : yosyshq-abc-0.46-2.20241011gitcac8f99.fc42.src.rpm
|
| Size : 14.51 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/development/rawhide/Everything/x86_64/os/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 :
