EMP

EMP (Extended Mathematical Programming) is a "solver" that reformulates

 Bilevel Programs

 Disjunctive Programs

 Extended Nonlinear Programs

 Programs with side constraints/variables

into established mathematical programming classes allowing access to existing solvers. EMP is experimental and is being

developed jointly by Michael Ferris of UW-Madison, Ignacio Grossmann of Carnegie Mellon University and GAMS

Development Corporation.

EMP allows disjunctive programs to be solved via the following alternative automated reformulations without changes to the model

More details on the EMP concept and function can be found in http://pages.cs.wisc.edu/~ferris/talks/focapo08.pdf

EMP comes free of charge with any licensed GAMS system but needs a subsolver to solve the generated models.