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:

• Minion is an open source constraint solver, which accepts the Minion Input Language

All the Minion models can be downloaded as a zip file