Incremental Multiobjective Solving. Fixes #7

TeamAmalgam / kodkod

Kodkod relational model finder

Other

3 stars 0 forks source link

Closed cpkleynhans closed 11 years ago

cpkleynhans commented 11 years ago

Fixes #7

Reviewers: @mhyee @AtulanZaman @joseph2625

AtulanZaman commented 11 years ago

Looks fine

mhyee commented 11 years ago

Looks good.

joseph39 commented 11 years ago

Looks good.,