High-level Modelling Tool

The tool TAILOR generates Minion input from constraint models written in Essence'. Essence' is a solver-independent modelling language that allows to model whole problem classes (in contrast to Minion that only allows you to model problem instances). TAILOR provides an interactive graphical user interface from which Minion can be executed (so the user needs no knowledge about Minion's input language to solve problems) and comes with a vast selection of examples.

Syntax Highlighting for Minion Input Format

We provide syntax highlighting tools for Minion input (input format Minion 3 and newer) with installation instructions.

• tarball for KDE-editors (Kate and Kwrite)
• tarball for Emacs