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

Title
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories
Neuroinformatics research
Physics-Integrated Energy Systems Model (PI-ES)