Rose is a software dedicated to automatic reformulations for mathematical programming. Here is the web site.

MD-jeep is a software for solving distance geometry problems related to proteins. Here is the web site.