port to gecode >=4.0#6

boutil wants to merge 1 commit intomarkan:mastermarkan/dep-selector:masterfrom

boutil:masterboutil/dep_selector:masterCopy head branch name to clipboard