TeamAmalgam/kodkod — pull request #16 by cpkleynhans (2013-06-28 01:29:22+00:00)
Title: Incremental Multiobjective Solving. Fixes #7

Fixes #7

Reviewers: @mhyee @AtulanZaman @joseph2625