This PR is to refactor the way branching is done. The function that selects branching candidates is now much more transparent and a new option to prioritize branching on lower-level variables has been introduced. The tailoff detection that determines when to branch has also been improved.
This PR is to refactor the way branching is done. The function that selects branching candidates is now much more transparent and a new option to prioritize branching on lower-level variables has been introduced. The tailoff detection that determines when to branch has also been improved.