Specify the type of algorithm to use in MultiObjectiveOptions

TeamAmalgam / kodkod

Kodkod relational model finder

Other

3 stars 0 forks source link

Specify the type of algorithm to use in MultiObjectiveOptions #17

Closed mhyee closed 10 years ago

mhyee commented 11 years ago

Right now we hard code to to GIA or IGIA. This should be set in the options, especially since we'll be adding more algorithms.

cpkleynhans commented 10 years ago

@mhyee I think this was fixed by pull request #53. Am I right?

mhyee commented 10 years ago

Yes. On May 2, 2014 8:24 PM, "Chris Kleynhans" notifications@github.com wrote:

@mhyee https://github.com/mhyee I think this was fixed by pull request

53 https://github.com/TeamAmalgam/kodkod/pull/53. Am I right?

— Reply to this email directly or view it on GitHubhttps://github.com/TeamAmalgam/kodkod/issues/17#issuecomment-42091076 .

cpkleynhans commented 10 years ago

Ok, closing the issue.