TeamAmalgam/kodkod — pull request #56 by cpkleynhans (2014-03-13 01:13:09+00:00)
Title: Specify the order of the objectives explicitly.

Currently we just iterate over the sorted set. Now we will explicitly
pass in the order the objectives should be iterated over to each
partition.

Reviewers: @mhyee @AtulanZaman @joseph2625