cplex/gurobi 找出模型非可行的緣由

用 cplex 或 gurobi 構建數學規劃模型時，要是求解變量或約束條件比較多，剛開始老是不成功的，常常會遇到模型非可行的狀況。通常是因爲約束條件輸入錯誤致使的，可是具體哪個約束條件呢？一個一個核實太麻煩了。web 發現 cplex 或者 gurobi 都提供了尋找非可行緣由的一些類和方法。例如在 Gurobi 中，能夠先把一些變量賦值，而後經過 computeIIS() 方法查找到底哪一個約

>>阅读原文<<