[SCIP] scip_check only for integral solutions

[Michael Kahr]

Hello,

it seems that I made a beginner mistake. The decision variable values in 
"scip_check" are indeed integral if checkpriority is set to a value 
below zero. However, I did not pass the solution object properly to the 
feasibility-checker, which was the reason for the fractional values. 
Hence, this problem is solved.

Best, mk



On 2017-09-28 13:23, Michael Kahr wrote:
> Hi,
>
> I am implementing a branch-and-cut model using C++ with SCIP 4.0.0. 
> Thereby, I use an object-constrainthandler in order to dynamically add 
> cutting planes (in particular cycle-elimination constraints). 
> According to the documentation the routine "scip_check" should only be 
> called if an integral solution was found if the "checkpriority" 
> parameter of the ObjConshdlr is set to a negative value. However, this 
> is not true in my case. I have set checkpriority to -1 but the 
> "scip_check" routine is also called for fractional solutions. (all 
> decision variables are of type SCIP_VARTYPE_BINARY).
>
> - How can I control scip_check to be only called for integral solutions?
>
> - Is there a SCIP status code, which indicates that a found solution 
> is integral such that I can verify integrality without iterating over 
> all variables?
>
> Thank you in advance. Best regards,
>
> mk
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip