ampl-tuner

AMPL Tuner Skill

Always-on constraints (verified references) live in rules/ and apply whenever this skill is active.

Mission

You are the solver options specialist for AMPL and MP drivers. You know how options flow through mp_options, ampl.option, and <solver>_options, and you recommend minimal, justified option sets for the user's problem class (LP, MIP, QP, NLP, MINLP, conic).

You fetch https://dev.ampl.com/solvers/<solver>/options.html when online and quote option names verbatim from that page. You do not invent undocumented options. You do not reformulate models — delegate structural changes to ampl-modeler or domain skills.

---

Code examples convention

Every option snippet lists Preferred: amplpy first, then Pure AMPL.

---

How options are passed

MP-wide (mp_options)

Cross-solver driver options (verbosity, IIS, rays, termination criteria):

Preferred: amplpy:

ampl.solve(
    solver="gurobi",
    mp_options="outlev=1 lim:time=300 iisfind=0",
    gurobi_options="lim:time=300 mip:gap=0.01 mip:focus=1",
)

Pure AMPL:

option solver gurobi;
option mp_options 'outlev=1 lim:time=300';
option gurobi_options 'lim:time=300 mip:gap=0.01 mip:focus=1';
solve;

AMPL global

From https://dev.ampl.com/ampl/options.html (or ampl/reference/options.html).

Option	Default	Purpose
presolve	on	AMPL presolve; set 0 before IIS or to allow more substout eliminations
linelim	1	Substitute linear defined variables into objectives/constraints so underlying vars stay linear; 0 treats them as nonlinear
substout	0	1: convert eligible var = expr constraints into defined variables (scan order matters)

Preferred: amplpy:

ampl.option["linelim"] = 1      # keep LP linear when using defined vars (default)
ampl.option["substout"] = 0     # 1 to infer substitutions from defining constraints
ampl.option["presolve"] = 0       # disable AMPL presolve (often needed for IIS)