In November 2025, Gregor Leixner enhanced solver backends in the Homebrew/homebrew-core repository by integrating exact solving capabilities using MPFR into SoPlex and SCIP. He upgraded SoPlex to version 8.0.0 and SCIP to 10.0.0, focusing on dependency management and package management to streamline builds and reduce unnecessary dependencies. Gregor expanded and updated the test suite in Ruby to validate exact arithmetic workflows, ensuring regression safety and compatibility for users relying on optimization tools. His work improved reliability and maintainability in Homebrew-core, addressing the needs of users requiring precise arithmetic in their optimization and scientific computing environments.