Buscar en Mind w/o Soul

viernes, febrero 15, 2008

Minion: constraint solver eficiente

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

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.

No hay comentarios: