localsolver uses LocalSolver
to solve linear and nonlinear mixed-integer programming problems as well
as constraint programming problems.
It fully supports AMPL extensions for logic and constraint programming.
localsolver is invoked by AMPL's
which gives the invocation
localsolver stub -AMPL
stub.nl is an AMPL generic output file (possibly written
ampl -obstub or
ampl -ogstub). After solving the problem,
the solver writes a
stub.sol file for use by ampl's
solution commands. When you run ampl, this all happens automatically
if you give the AMPL commands
option solver localsolver; solve;
You can control the solver by setting the environment variable
locsol_options appropriately (either by using ampl's
or by using the shell's
export commands before you invoke ampl).
You can put one or more (white-space separated) option assignments in
$localsolver_options. The option
version doesn't take a value:
|version||Report version details before solving the problem.|
Others are name-value pairs separated by '=', as in
which limits solution time to 600 seconds.
The following command prints the full list of options with descriptions:
Here is a table of
solve_result_num values that
localsolver can return
to an AMPL session, along with the text that appears in the associated
|0||optimal solution (for an optimization problem) or feasible solution (for a satisfaction problem)|
If you invoke
localsolver stub -AMPL or
localsolver stub, you can also
supply additional command-line arguments of the form name=value.
Such arguments override specifications in
ampl -obfoo foo.model foo.data nohup localsolver -s foo 2>>err&
to solve a problem whose solution will take a while; after it finishes,
ampl foo.model foo.data - solution foo.sol; display ... /* things involving the computed solution */;
- denotes standard input, and ampl reads the