Implementacja w AMPL