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

Title
Efficient Robustness Analysis of Deep Neural Networks
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories
YAPCHIP