MAiNGO
_NOT_TERMINATED :
maingo::bab::BranchAndBound
_TERMINATED :
maingo::bab::BranchAndBound
_TERMINATED_WORKERS_ACTIVE :
maingo::bab::BranchAndBound
USE_BAB :
maingo::ubp::UpperBoundingSolver
USE_PRE :
maingo::ubp::UpperBoundingSolver
Generated by
1.8.15