Worked on enhancing solver backends in the Homebrew/homebrew-core repository by integrating exact solving capabilities using MPFR for both SoPlex and SCIP. Focused on dependency management and package management in Ruby, the work involved upgrading SoPlex to version 8.0.0 and SCIP to 10.0.0, while removing unnecessary dependencies to streamline the build process. Added targeted tests to strengthen validation and expanded test coverage with new instances, improving regression safety and future maintenance. All changes were validated end-to-end within the Homebrew-core pipeline, ensuring compatibility and reliability for users relying on exact arithmetic in optimization workflows.