Implementacja w AIMMS i AMPL