Allow external adjustment of parallel search workers#233

zayenz wants to merge 11 commits into

mainGecode/gecode:mainfrom

feature/par-search-worker-adjustmentsGecode/gecode:feature/par-search-worker-adjustmentsCopy head branch name to clipboard