yosyshq-abc-0.31-1.20230804gitbb64142.fc39 RPM for s390x

From Fedora 39 for s390x / y

ABC is a growing software system for synthesis and verification of
binary sequential logic circuits appearing in synchronous hardware
designs.  ABC combines scalable logic optimization based on And-Inverter
Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up
tables and standard cells, and innovative algorithms for sequential
synthesis and verification.

ABC provides an experimental implementation of these algorithms and a
programming environment for building similar applications.  Future
development will focus on improving the algorithms and making most of
the packages stand-alone.  This will allow the user to customize ABC for
their needs as if it were a toolbox rather than a complete tool.

Provides

• yosyshq-abc
• abc
• yosyshq-abc(s390-64)

Requires

• libabc.so.0()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)
• yosyshq-abc-libs(s390-64) = 0.31-1.20230804gitbb64142.fc39

License

MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause

Changelog

* Fri Aug 04 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.31-1.20230804gitbb64142
  - Initial RPM

Files

/usr/bin/abc
/usr/lib/.build-id
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/a164336c2de07736d7d4fb0646a974d2d0c356
/usr/share/doc/yosyshq-abc
/usr/share/doc/yosyshq-abc/README.md
/usr/share/doc/yosyshq-abc/readmeaig
/usr/share/man/man1/abc.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 22:32:40 2024