roundingsat-0~20260303.d4edbf7-1.fc46 RPM for x86_64

From Fedora Rawhide for x86_64 / r

RoundingSat solves decision and optimization problems formulated as 0-1
integer linear programs.  Features:

- Native conflict analysis over 0-1 integer linear constraints, constructing
  full-blown cutting planes proofs.
- Highly efficient watched propagation routines.
- Seamless use of multiple precision arithmetic.
- Optional integration with the SoPlex LP solver.
- Linear and core-guided optimization.
- Certified unsatisfiability and optimality.

All of these combine to make RoundingSat the world's fastest pseudo-Boolean
solver.

Provides

• roundingsat
• libroundingsat.so.0()(64bit)
• roundingsat(x86-64)

Requires

• libboost_iostreams.so.1.90.0()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libc.so.6(GLIBC_ABI_GNU2_TLS)(64bit)
• libclusol.so.0()(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libgcc_s.so.1(GCC_7.0.0)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libmpfr.so.6()(64bit)
• libsoplex.so.8.1()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.11)(64bit)
• libstdc++.so.6(CXXABI_1.3.15)(64bit)
• libstdc++.so.6(CXXABI_1.3.5)(64bit)
• libstdc++.so.6(CXXABI_1.3.7)(64bit)
• libstdc++.so.6(CXXABI_1.3.8)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• libtbb.so.12()(64bit)
• libz-ng.so.2()(64bit)
• libz-ng.so.2(ZLIB_NG_2.0.0)(64bit)
• libz-ng.so.2(ZLIB_NG_2.1.0)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rpmlib(TildeInVersions) <= 4.10.0-1
• rtld(GNU_HASH)

License

MIT

Changelog

* Wed Oct 28 2026 Jerry James <loganjerry@gmail.com> - 0~20260303.d4edbf7-1
  - Initial RPM

Files

/usr/bin/roundingsat
/usr/lib/.build-id
/usr/lib/.build-id/37
/usr/lib/.build-id/37/de678945a533e7bac975e6e2a483bb596b7752
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/bcf6d2c07e27188be35660ddf3a4980d47fdd7
/usr/lib64/libroundingsat.so.0
/usr/lib64/libroundingsat.so.0.0.0
/usr/share/doc/roundingsat
/usr/share/doc/roundingsat/InputFormats.md
/usr/share/doc/roundingsat/README.md
/usr/share/licenses/roundingsat
/usr/share/licenses/roundingsat/LICENSE
/usr/share/licenses/roundingsat/MIT.txt
/usr/share/man/man1/roundingsat.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 30 00:05:54 2026