I implemented a cplex model and I am convinced that the model should allow a better solution on a specific instance. However, when I impose the variable values of the solution onto the model, it returns no solution.
Is there a simple way to find "the inequality that makes the solution infeasible"? I think, I once had cplex give me a violated inequality?