Software, Prototypes and Demonstrators

Besides industrial applications, the team aims at providing software resources, under open-source licences, to the community.

MISTRAL

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. 

NUMBERJACK

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.