如何檢查在.NET中使用CPLEX編碼的模型是否爲真模型？

Question

我使用C＃在CPLEX中編碼了一個MIP。我聲明瞭變量和約束並添加了目標，但我無法得到正確的答案。有沒有辦法將模型打印到字符串變量或類似的東西，以檢查我是否正確編碼了我想要的模型？

Answer 1

您可以嘗試以CPLEX LP格式導出它，這是人類可讀的。

我既不使用也不CPLEX .NET，但根據this website你正在尋找的功能是：

LOG CPLEX .NET參考手冊Cplex.ExportModel方法

活動模型寫入由指定的文件文件名。

public virtual void ExportModel( String name);

參數

name
文件的名稱，其模式被寫入。文件名的擴展名決定了寫入型號 文件的格式。

備註

文件的格式根據文件名的後綴進行確定。該 以下擴展名被認爲在大多數平臺：

.sav 
.mps 
.Lp 
[...] 

希望這有助於。