Andreas Distler and Tom Kelsey applied Minion to the problem of finding the number of monoids of orders eight, nine, and ten. They demonstrated the scalability of Minion on very large problems which were previously unsolved. This application also shows the effectivity of the black-box approach to using Minion; i.e. solving a problem without having to tweak lots of parameters.
Their work has been published in Annals of Mathematics and Artificial Intelligence.
Amba Kulkarni, Sheetal Pokar and Devanand Shukl of the University of Hyderabad are using Minion to develop a constraint based parser for Sanskrit. Their efforts are described in this publication.
Minion is used in the Phoronix Test Suite to benchmark Linux.
Victor Bovdi, Eric Jespers and Alexander Konovalov are investigating units of finite orders in integral group rings, and use Minion to find possible partial augmentations (that is, sums of coefficients of group ring elements over conjugacy classes of group elements) for such units. Their work will be published in the Mathematics of Computation journal.
The Institute for Software Technology at the Graz University of Technology is using Minion for debugging and testing programmes.
Jean-Michel Rey at the Etang Vallier Resort uses Minion to run an automated booking system for chalets and other accommodation.
Minion was used in the paper Model-based simulation and configuration of mobile phone networks - The SIMOA approach presented at WAITS 2012 workshop, at ECAI 2012.
There are many more people who use Minion in their work and cite it in their papers. A list of citations can be obtained from Google Scholar.
[ Home | Download | Benchmarks | Bugs | Manual | Case studies | References | People |