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

Title
Horned-OWL bench
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories
Rational Design of Mitochondrial Uncouplers (MSc Bioinformatics Project)