2 | | = ROSE = |

3 | | |

4 | | == What is it? == |

5 | | |

6 | | 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. |

7 | | |

8 | | |

9 | | == Install == |

10 | | |

11 | | Download [http://www.lix.polytechnique.fr/~liberti/rose.tar.gz rose latest version]. Uncompress the archive, then follow the instructions in the INSTALL file. |

12 | | |

13 | | |

14 | | == Documentations == |

15 | | |

16 | | '''Scientific Description''' : [http://www.lix.polytechnique.fr/~liberti/rose.pdf The Reformulation-Optimization Software Engine], Leo Liberti, Sonia Cafieri, David Savourey, to appear in International Congress of Mathematical Software. |

17 | | |

18 | | '''Practical informations''' : Here is the [http://www.lix.polytechnique.fr/sysmo/rose/content/README README] file contained in the rose archive. |

19 | | |

20 | | == Support == |

21 | | |

22 | | 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 savourey@lix.polytechnique.fr |

23 | | |

24 | | == People == |

25 | | |

26 | | [http://www.lix.polytechnique.fr/~liberti Leo Liberti] - head of the project |

27 | | LIX, Ecole Polytechnique, France |

28 | | |

29 | | [http://www.recherche.enac.fr/~cafieri/ Sonia Cafieri] - contributor |

30 | | ENAC, France |

31 | | |

32 | | [http://www.or.deis.unibo.it/dambrosio.html Claudia d'Ambrosio] - contributor |

33 | | DEIS, Univ. Bologna, Italy |

34 | | |

35 | | [http://www-complexnetworks.lip6.fr/~tarissan/ Fabien Tarissan] - contributor |

36 | | LIP6, Univ. Paris 6, France |

37 | | |

38 | | [http://www.lix.polytechnique.fr/~savourey David Savourey] - maintainer |

39 | | LIX, Ecole Polytechnique, France |

| 2 | = This project has been moved to https://github.com/coin-or/ROSE = |