This package enables the use of the ReSHOP reformulation solver for JuMP models. ReSHOP stands for Reformulation Solver for Hierrachical Optimization Problems.
It is mostly a reformulation engine, that it performs model transformations to bring a model into a form amenable to computation. This includes models with Optimal Value functions, bilevel, MPEC, and Equilibrium (Nash Games) problems. This class of mathematical programs falls into the Extended Mathematical Programming umbrella. See also this GAMS documentation page, and the EMP.jl Julia package, as presented in this video presentation from the JuMP-dev 2018 workshop.
One side-effect of implementing those model transformations is that ReSHOP has a full-fledged model representation. This implies that it is capable of acting as a full MOI backend, with direct model capabilities.
ReSHOP aims at being efficient in the model transformation. In particular, most of the work is done in memory, as opposed to writing down the model to a file.
The following figure illustrate the design and workflow of ReSHOP:
The shaded blocks are the functionalities on the roadmap or work in progress.
Note that the link for GAMS is done in memory, without writing a file to be parsed by the
This is also planned for the JuMP export.
This package requires a valid GAMS install, with the
gams executable in the system path,
that is the
gams command be executed in a shell or
The user can refer to the GAMS installation instructions.
As of now, there are the following options:
- the GAMS solver is specified via the
ReSHOP.setsolverlog switches the display of the GAMS solver log on the standard output.
This solver can be used in the direct model way. It is mostly done, some functions are not implemented, but those are mostly for display purposes. Testing is unfortunately not as easy with this kind of solver.
Option passing to GAMS (for solver.opt files) is a work in progress.
The package depends on the libreshop library binary. A JLL package for Julia 1.3 and above is in the works.
For now, the libreshop does not get updated with the julia files. After the update, the command
] build ReSHOP
needs to be run to also update the library.
ReSHOP needs to bootstrap GAMS via a file. The latter is automatically generated the first time the solver is run.
If the GAMS distribution/license is changed, one needs to run
ReSHOP.reshop_init_gams_solverdata(true) to update
the GAMS bootstrap file.
- Some GAMS solver seem to misbehave during test, but not when used in some simple cases. This may be due to some global variable or other kind of memory issue. Please report such bugs.
The MBP codepath package is heavily based on AmplNLWriter.jl
Note: This package is developed independently of the GAMS corporation