TeamAmalgam/kodkod — pull request #53 by AtulanZaman (2014-03-01 23:14:18+00:00)
Title: Adds arguments support for moolloy

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