Activity
ctrl-c not working when search restarted
ctrl-c not working when search restarted
fix error if preprocess too efficient on restart model
fix error if preprocess too efficient on restart model
make bound changing after strong branching safer
make bound changing after strong branching safer
make bound changing after strong branching safer
make bound changing after strong branching safer
minor change to improve reliability
minor change to improve reliability
double check bad solve in fathommany
double check bad solve in fathommany
correct printing for enormous integer valued activities
correct printing for enormous integer valued activities
rerun autotools
rerun autotools
Pull request merge
switch ThirdParty-ASL to stable/2.1
switch ThirdParty-ASL to stable/2.1
Pull request merge
switch ThirdParty-ASL to stable/2.1
switch ThirdParty-ASL to stable/2.1
Force push
rerun autotools
rerun autotools
Force push
for testing: all dependencies on autotools-update branch and required
for testing: all dependencies on autotools-update branch and required
use devel branch of ThirdParty-ASL
use devel branch of ThirdParty-ASL
optional more probing/cuts if CBC_MORE_USE_GLOBAL_CUTS
optional more probing/cuts if CBC_MORE_USE_GLOBAL_CUTS
increase verbosity to see more configure + build logs
increase verbosity to see more configure + build logs
make ThirdParty-ASL Required, so it is used in CI
make ThirdParty-ASL Required, so it is used in CI
Synchronize the logLevel parameter from a model.
Synchronize the logLevel parameter from a model.
Pull request merge
apologies - pushed a bit too soon
apologies - pushed a bit too soon
take out possible message which could overflow
take out possible message which could overflow