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.