New formula for ASL.

ASL is the AMPL Solver Library and allows optimization solvers to
interact with models written in the AMPL modeling language
(www.ampl.com), one of the most common modeling languages used in the
optimization community.