We found the following 3 published projects which all share the keyword solvers in their description.

Title
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories
Ocean-REFuel - Ocean Renewable Energy Fuels
Sparse Probabilistic Richardson Extrapolation for Large-Scale Scientific Computing