Add staged inter-distance propagation with variable separation - #247

Add staged inter-distance propagation with variable separation#247

zayenz wants to merge 11 commits into

mainGecode/gecode:mainfrom

feature/inter-distanceGecode/gecode:feature/inter-distanceCopy head branch name to clipboard