Zhenchen Liao
- 合計アクティビティ 7
- 前回のアクティビティ
- メンバー登録日
- フォロー 0ユーザー
- フォロワー 0ユーザー
- 投票 0
- サブスクリプション 2
投稿
Zhenchen Liaoによる最近のアクティビティ-
Does Gorubi support CNF format?
回答済みMay I ask if Gurobi can output CNF or GCNF or SMT2 format file? Bests,
-
How to set ComputIIS attributes and check the GRB_ERROR_IIS_NOT_INFEASIBLE error?
回答済みTo whom it may concern, Here comes my problem. From the documentation of ComputeIIS, we can set up a IISConstrForce to 0/-1/1. But I have no idea how to setting it with code with Java. Another qu...