Minion: constraint solver eficiente

Este motor de resolución de restricciones, con licencia GPL, sacrifica expresividad para lograr eficiencia en problemas grandes.

MINION

MINION is a general-purpose constraint solver, with an expressive input language based on the common constraint modelling device of matrix models. Focussing on matrix models supports a lean, highly-optimised implementation. This contrasts with current constraint toolkits, which, in order to provide ever more modelling and solving options, have become progressively more complex at the cost of both performance and usability.