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.
Merge pull request #393 from dpo/asl

New formula for ASL.