[[ICMS2010]] [[AMPL]] - http://www.lix.polytechnique.fr/~liberti/rose-0.1.tar.gz - Flat reformulations in and out of Mathematical Programming.