Le Scheduler s’appuie sur le paradigme de la programmation par contrainte pour construire des modèles capables de répondre à plusieurs contraintes et objectifs. Se trouvant à l’intersection de la recherche opérationnelle, des mathématiques et de l’informatique, les algorithmes de ce paradigme explorent intelligemment l’espace des solutions possibles. Ce puissant algorithme simule, calcule, vérifie et réorganise la planification offrant un résultat qualitatif et pertinent.