We found the following 2 published projects which all share the keyword statically amongst their description of software or software methods used.

Title
Leukaemia Genomics
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories