search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Adds arguments support for moolloy #53

Closed AtulanZaman closed 10 years ago

AtulanZaman commented 10 years ago

Changes the MultiObjectiveSolver to use MOO algorithm specified by argument instead of hardcoding it.