Programmes par eclipseclp.org

Le système de programmation logique de contrainte ECLiPSe est conçu pour résoudre les problèmes d’optimisation combinatoire, pour le développement de nouvelles technologies de solveur de contrainte et de leurs hybrides, et po