ASL is A Modeling Language for Mathematical Programming (AMPL) Solver Library
