Specification
Minion Input Language is the language accepted by the Minion constraint solver. It is a flat format, similar in design to FlatZinc.
There is one solver which accepts the Minion Input Language: