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: