OperationsResearch::Sat::SatParameters::SharedTreeSplitStrategy
Inherits Enum < Comparable < Value < Object
Constants
SPLITSTRATEGYAUTO = 0
SPLITSTRATEGYDISCREPANCY = 1
SPLITSTRATEGYOBJECTIVELB = 2
SPLITSTRATEGYBALANCEDTREE = 3
SPLITSTRATEGYFIRSTPROPOSAL = 4