[Scip] User constraints checking
Gerald Gamrath
gamrath at zib.de
Mon Aug 10 18:55:41 CEST 2015
Dear Abdelkader,
can you send some more information and perhaps the output of SCIP? I
cannot imagine that SCIP states that the problem is infeasible but
prints a solution afterwards.
The scip_check method is mainly used to check feasibility of solutions
generated by heuristics. Checking whether the node LP solution is
feasible is done by the scip_enfolp method, which should normally do
something to enforce feasibility, e.g., add a constraint or perform
branching, but can also just return infeasible. If you did not modify
this method to always return infeasible, it might happen that LP
solutions are accepted to be feasible.
Best,
Gerald
On 10.08.2015 14:30, Abdelkader Ouali wrote:
> Dear SCIP users,
>
> I am implementing my own constraints using the constraint handler as
> explained in the TSP example of SCIP,
> The problem I am facing is the feasibility checking with my own
> constraints, which they don't include problem variables in their
> scope, but use them to check the feasibility of other given information,
> In order to see if SCIP respond to my constraints, I set the callback
> function scip_check returns always infeasible. In solving stage, SCIP
> detects the infeasibility, but after that it prints solutions that
> ignore my constraints.
>
> I want to know what is going on inside SCIP ! it detects infeasibility
> but rather prints infeasible solutions.
>
> Thanks in advance for any explanations.
> ---
> A. Ouali
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20150810/2fa6c272/attachment.html>
More information about the Scip
mailing list