Dominance Programming is an extension of Gecode that supports the use of pair-wise order relations between solutions.