[SCIP] Branching on optimal solution

[Ambros Gleixner]

Hi Matheus,

Have you read the priority section of the "How to add constraint 
handlers?" at

http://scip.zib.de/doc-5.0.1/html/CONS.php

Chances are your CONSHDLR_ENFOPRIORITY is set to "after integrality". 
Does that help?

Best,
Ambros






Am 19.05.2018 um 21:10 schrieb Matheus Ota:
> Hi Again,
> 
> My bad, I made a mistake in my calculations. Actually it is being called 
> in a integer but infeasible solution (that breaks the capacity 
> constraint). But still, from my understanding, branching should be done 
> to fix the integrality constraints, the other restrictions should be 
> fixed by the constraint handler.
> 
> Thanks,
> Matheus
> 
> 2018-05-19 15:17 GMT-03:00 Matheus Ota <matheusota at gmail.com 
> <mailto:matheusota at gmail.com>>:
> 
>     Hello all,
> 
>     I'm with a problem in my Branch-and-Cut for the CVRP. I'm currently
>     having a problem because the Branching Rule that I implemented is
>     calling the SCIP_DECL_BRANCHEXECPS method, even though the currently
>     solution is already the optimal one.
> 
>     I also implemented the SCIP_DECL_CONSENFOLP, SCIP_DECL_CONSENFOPS
>     and SCIP_DECL_CONSCHECK methods of the Constraint Handler, so that
>     they check if the current solution is feasible and set result as
>     SCIP_FEASIBLE or SCIP_INFEASIBLE. Could, someone provide me some
>     help in this matter?
> 
>     Thanks,
>     Matheus
> 
> 
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
> 

-- 
Ambros Gleixner, Research Group Mathematical Optimization Methods at 
Zuse Institute Berlin, http://www.zib.de/gleixner