[SCIP] correct way to fix variables locally in consprop

[Stefan Vigerske]

Hi,

SCIPfixVar() changes global bounds. To do changes that are local to the 
current node, use SCIPtightenVarLb() and SCIPtightenVarUb().

Stefan

On 17/11/2023 21:11, Brannon King wrote:
> I'm writing a custom constraint handler. I started with using fixvar
> in both consprop and consenfolp. This runs to completion, but the
> problem never reaches the correct minimum. It seems to be
> overconstrained. One theory I had about this was that fixvar runs at a
> global level (true?); I need consenfolp to fix variables at the node
> level, not globally. However, when I change consenfolp to use
> chgVarLbNode instead of fixvar, I get infinite calls on consprop. What
> is the correct mechanism to fix variables (locally) in consprop and
> consenfolp? How do I avoid consenfolp triggering consprop in all
> situations?
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip