Parameters for experiments
Merge remote-tracking branch 'origin/develop' into develop-experiments
Merge remote-tracking branch 'origin/develop' into develop-experiments
Parameters for experiments
Implemented exactly one CC property
Implemented cut scheduling successor
Integrated cut schedule into options
Fixed cut schedule initialization
Fixed foreground check
Fixed threshold attempt
Merge remote-tracking branch 'origin/develop' into develop-experiments
Experiment parameter
Conflict resolved; prune ratio
Fixes
MPI fixes
Postprocess and unique iter
Resolved conflict fix
Resolved conflict - added max prune
Fixed heuristic features for LL, LC
Merged: cut schedule, stats, other stuff