Fixed a bug when restoring master cuts in strong branching#444

Merged

guimarqu merged 3 commits intomasterfrom fix_strongbranching

Feb 11, 2021

+16-4

Commits on Feb 6, 2021

Fixed a bug when restoring master cuts in strong branching. Added several debugging tools used to find the bug
artalvpes
committed

Commits on Feb 10, 2021

Removing debug codes, stopping the branch evaluation on conquered branches, and creating a new duty for master cuts
artalvpes
committed

Commits on Feb 11, 2021

Correcting the style
artalvpes
committed