The NEOS Server offers SHOT for the solution of
mixed-integer nonlinearly constrained optimization problems. Problems
for SHOT can be submitted on NEOS in GAMS format.
SHOT (Supporting Hyperplane Optimization Toolkit) is a
deterministic solver for mixed-integer nonlinear programming problems
(MINLPs). Originally, SHOT was intended for convex MINLP problems
only, but now also has functionality to solve nonconvex MINLP problems
as a heuristic method without providing any guarantees of global
optimality. SHOT can solve certain nonconvex problem types to global
optimality as well.
SHOT has mainly been developed by Andreas Lundell (Åbo Akademi
University, Finland) and Jan Kronqvist (Imperial College London,
UK). The SHOT solver is best described in the following paper:
The user must submit a model in GAMS
format to solve an optimization problem. For security purposes, the model
submitted must adhere to the following conventions:
If you are unfamiliar with GAMS, the
GAMS Documentation includes a
GAMS Tutorial and
Examples of models in GAMS format can be found in the
GAMS model library.
By default, the NEOS Server limits the amount of output generated in the
listing file by turning off the symbol and unique element list, symbol cross
references, and restricting the rows and columns listed to zero. This
behavior can be changed by specifying the appropriate options in the model
file. See the
documentation on GAMS output
for further information.
You may optionally submit an options file if you wish to override the
default parameter settings for the solver. Currently, the NEOS Server can
only use optfile=1 with GAMS input. Therefore, any model that
specifies a different options file will not work as intended.
<modelname>.optfile = 1 ;
optfile = 1