Software, Prototypes and Demonstrators
Besides industrial applications, the team aims at providing software resources, under open-source licences, to the community and
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.
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 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.