search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Specify which algorithm to use #38

Closed joseph39 closed 10 years ago

joseph39 commented 10 years ago

There should be an option that allows users (and workers) to choose which MOO algorithm to use.

mhyee commented 10 years ago

Duplicate of #17, closing this issue.