Zhenchen Liao
- Total activity 7
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 2
Activity overview
Latest activity by Zhenchen Liao-
Zhenchen Liao created a post,
Does Gorubi support CNF format?
AnsweredMay I ask if Gurobi can output CNF or GCNF or SMT2 format file? Bests,
-
Zhenchen Liao commented,
Thanks for your reply. I think the problem is caused by the Gurobi version so that it cannot recognise IIS Force. Best regards,
-
Zhenchen Liao commented,
I think the error is caused by there is no "IISConstrForce" attribute under GRB.IntAttr. It cannot be recognised.
-
Zhenchen Liao commented,
Thanks for your reply. I followed the example and writed constr.set(GRB.IntAttr.IISConstrForce, 0) which try to exlude this constraint from the subsystem. But there is syntax error "IISConstrForce ...
-
Zhenchen Liao created a post,
How to set ComputIIS attributes and check the GRB_ERROR_IIS_NOT_INFEASIBLE error?
AnsweredTo 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...