What is it?

Optimization problems are usually defined in terms of their mathematical programming formulation. This consists of a set of objective functions to be optimized subject to a set of constraints, all expressed in terms of a set of decision variables which may be discrete or continuous. Formulations may be symbolically transformed so that some of their numerical properties (e.g. optimal solutions, feasible region,...) are invariant. Yet sometimes the reformulated problem is easier to solve or is useful within a given solution algorithm. The main aims of this project are a systematic study of reformulation theory, the production of software tools for automating mathematical programming reformulation, and the formalization and implementation of solution algorithms based on reformulation techniques.


Download rose latest version. Uncompress the archive, then follow the instructions in the INSTALL file.


Scientific Description : The Reformulation-Optimization Software Engine, Leo Liberti, Sonia Cafieri, David Savourey, to appear in International Congress of Mathematical Software.

Practical informations : Here is the README file contained in the rose archive.


If you have any issue for installing rose, using it, if you want to report a bug or request for a new feature, please an e-mail to


Leo Liberti - head of the project LIX, Ecole Polytechnique, France

Sonia Cafieri - contributor ENAC, France

Claudia d'Ambrosio - contributor DEIS, Univ. Bologna, Italy

Fabien Tarissan - contributor LIP6, Univ. Paris 6, France

David Savourey - maintainer LIX, Ecole Polytechnique, France

Last modified 6 years ago Last modified on Oct 2, 2011 4:46:03 PM