Constraint Programming in AMPL - CP 2013,使用AMPL进行约束规划