Rose is a software dedicated to automatic reformulations for mathematical programming. Here is the
web site.
MD-jeep
MD-jeep is a software for solving distance geometry problems related to proteins. Here is the
web site.
Theory is when one knows everything but nothing works.
Practice is when everything works but nobody knows why.
In our team, theory and practice are combined: nothing works and nobody knows why.