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

Title
Data_Driven_Abstraction
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories
Pumped Heat Energy Storage