Software, Prototypes and Demonstrators
Besides industrial applications, the team aims at providing software resources, under open-source licences, to the community.
MISTRAL is a constraint satisfaction and optimization software written in C++ that has won several international CSP competitions. It is available under the GNU General Public License.
The team participates to the project NUMBERJACK mainly developped by 4C, Cork.
NUMBERJACK is a modeling package written in Python for constraint programming. Python benefits from a large and active programming community, Numberjack is therefore a perfect tool to embed CP technology into larger applications.