Simranjit Kaur

Hi Arthur, Thanks for providing context to the problem you are solving. I understand you want to find two binary matrices, W and H, such that X is the boolean product of W and H. For example, \( W ...

Hi Daniel, You can possibly use the binary variables start_binary[p, r] and end_binary[p, r] to model the definition of is_available[p,r] variable. Would something like the following work for you? ...

Hi Arthur, Please have a look at our knowledge base article How do I model conditional statements in Gurobi? Best regards, Simran

Hi Iason, Just to add to what Maliheh explained about the irreducible inconsistent system (IIS) in her comment: If you set bounds for a variable in the model, but it appears as free in the IIS, it ...

Hi Xinshuo, To suppress all output, you can set the OutputFlag parameter to 0 in your environment. Alternatively, you can direct the log to a file without printing it to the console by setting the ...

There is no need to add a new variable, you can simply update the lower bound of the existing variable. For instance, x.lb = 1 will set the lower bound of variable x to 1. The next model.optimize()...

You can open this file using any text editor and check the variables that have conflicting bounds.  

Hi Fei Wang, Indeed, my previous suggestion will help save time for larger values of self.r. With respect to the SOCP constraints, you can try adding them using the addGenConstrNorm method. It is s...

This means that there are two variables whose bounds are causing the infeasibility in your model. You can get information about these variables by writing the results in an .ilp format file. model....

You can run the Model.computeIIS() method on your model to examine why your model is infeasible. It will provide a minimal subset of constraints and variable bounds that, if isolated from the rest ...