ILOG CPLEX求解TSP问题

TSP的模型有两种，这里是针对第二种模型进行求解。

CPLEX代码如下。

/*********************************************
 * OPL 12.6.0.0 Model
 * Author: Liao Given
 * Creation Date: 2019-8-10 at 下午4:47:34
 *********************************************/
int citynumber=...;//定义城市数量,从data文件中获取数据
//{int}city=asSet(1..citynumber);
//float h[city]=...;
//float s[city]=...;
range city =(1..citynumber);//即给各个城市编号，为1,2...citynumber,此语句等价于{int}city=asSet(1..citynumber);
range nodes  =(2..citynumber);//从第二个城市开始编号，即2,3,..citynumber,此语句用于建立“不存在子环”的约束
float d[city][city