Zhenchen Liao
- Total activity 7
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 2
Posts
Recent activity by Zhenchen Liao-
Does Gorubi support CNF format?
AnsweredMay 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?
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...