Originally posted by: Sarad

hi,

I am using the CPLEX solver from the windows commandline(DOS). Is there a way to identify from the CPLEX prompt the constraints that were a satisfied. For example, a flag set to 1 displayed next to the constraint name, if the particular constraint(s) were satisfied?

Thank you.
#CPLEXOptimizers
#DecisionOptimization

Originally posted by: SystemAdmin

A successful solve (with either an optimal or feasible solution at the end), ensures that all the constraints in the model are satisfied (subject to the specified or inbuilt tolerances).
If the solver is not able to satisfy even one constraint, then the whole model will be deemed infeasible.

Are you experiencing a case where the solution is claimed to be feasible/optimal, but there exists some constraints in the model which are not being satisfied?
#CPLEXOptimizers
#DecisionOptimization

Originally posted by: Sarad

Thank you for your response.

AbhishekRaman wrote:
>A successful solve (with either an optimal or feasible solution at the end), ensures that all the constraints in the model are satisfied (subject to the specified or inbuilt tolerances).

Yes, that is absolutely right. I needed some constraints satisfied for certain conditions and other constraints satisfied for other conditions but that is an implementation issue. As far as CPLEX is concerned all the constraints are satisfied. My apologies and thank you!
#CPLEXOptimizers
#DecisionOptimization

Originally posted by: HaipengXie

Is it impossible to force the solver satisfy a certain constraint?

#CPLEXOptimizers
#DecisionOptimization

I don't understand the question. As explained in this thread the CPLEX solver will always satisfy all constraints. If there is no solution that satisfies all constraints simultaneously then the problem is infeasible and reported as such.

Are you observing solutions that are claimed feasible but violate constraints? If constraints are only violated by a small amount then this may be due to numerical issues and you may have to tighten some tolerances.

#CPLEXOptimizers
#DecisionOptimization

Originally posted by: SystemAdmin

As Abhishsek said, usually all constraints should be satisfied. However, there are cases in which a solution does not satisfy all constraints (and this is expected): feasopt, conflict refiner, time limit hits. In this case you can do

display sol slack -

which will show you the slack for each constraints. If a constraint is not satisfied then its slack is flagged by '**' in the output.
#CPLEXOptimizers
#DecisionOptimization

Originally posted by: Sarad

Thank you.
#CPLEXOptimizers
#DecisionOptimization