Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

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

From Fedora Rawhide for x86_64 / r

Name: roundingsat-devel Distribution: Fedora Project
Version: 0~20260303.d4edbf7 Vendor: Fedora Project
Release: 1.fc46 Build date: Wed Oct 28 21:00:23 2026
Group: Unspecified Build host: buildvm-x86-07.rdu3.fedoraproject.org
Size: 151348 Source RPM: roundingsat-0~20260303.d4edbf7-1.fc46.src.rpm
Packager: Fedora Project
Url: https://roundingsat.org/
Summary: Header files and library links for roundingsat
 
Header files and library links for building projects that use roundingsat.

Provides

Requires

License

MIT

Changelog

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

Files

/usr/include/roundingsat
/usr/include/roundingsat/Config.hpp
/usr/include/roundingsat/Constr.hpp
/usr/include/roundingsat/ConstrExp.hpp
/usr/include/roundingsat/ConstrExpPool.hpp
/usr/include/roundingsat/ConstrSimple.hpp
/usr/include/roundingsat/Env.hpp
/usr/include/roundingsat/IntSet.hpp
/usr/include/roundingsat/Logger.hpp
/usr/include/roundingsat/LpSolver.hpp
/usr/include/roundingsat/Options.hpp
/usr/include/roundingsat/ProofBuffer.hpp
/usr/include/roundingsat/Solver.hpp
/usr/include/roundingsat/SolverStructs.hpp
/usr/include/roundingsat/Stats.hpp
/usr/include/roundingsat/auxiliary.hpp
/usr/include/roundingsat/auxlog.hpp
/usr/include/roundingsat/auxmath.hpp
/usr/include/roundingsat/auxtime.hpp
/usr/include/roundingsat/globals.hpp
/usr/include/roundingsat/inttypes.hpp
/usr/include/roundingsat/io.hpp
/usr/include/roundingsat/objrewrite.hpp
/usr/include/roundingsat/optimize.hpp
/usr/include/roundingsat/parsing.hpp
/usr/include/roundingsat/quit.hpp
/usr/include/roundingsat/run.hpp
/usr/include/roundingsat/typedefs.hpp
/usr/include/roundingsat/used_licenses
/usr/include/roundingsat/used_licenses/MIT.hpp
/usr/include/roundingsat/used_licenses/apache_2.hpp
/usr/include/roundingsat/used_licenses/boost.hpp
/usr/include/roundingsat/used_licenses/gpl_3_0.hpp
/usr/include/roundingsat/used_licenses/lgpl_3_0.hpp
/usr/include/roundingsat/used_licenses/licenses.hpp
/usr/include/roundingsat/used_licenses/roundingsat.hpp
/usr/lib64/libroundingsat.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Oct 31 00:55:55 2026