AMPL models for TE problems