AMPL library added