Software, Prototypes and Demonstrators

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

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.
MuPaRo MuPaRo ( Multiple participant Routing ) addresses an essential problem for providing dynamic carpooling: how to compute the shortest driver’s and passenger’s paths. The software is available in C++ under the CeCILL-B license. The software has been developed in collaboration wit the TSF team at LAAS/CNRS.
PlayMob PlayMob is a Mobility Platform developed at LAAS as a demonstrator for varous path computation, ridesharing a,d potentially vehicle routing problems. The software has been developed in collaboration wit the TSF team at LAAS/CNRS.