Développement

CSP4J : une API de résolution de CSP « boîte noire » pour Java

CSP4J est une API développée en Scala permettant de résoudre un problème combinatoire formalisé sous forme de CSP/COP de manière transparente au sein d'une application Java.

CSP4J est disponible sur SourceForge : page du projet.

Concrete, un prouveur de CSP basé sur CSP4J et CSPOM, participe aux compétitions internationales de prouveurs de CSP.

CSPOM : une API de modélisation en programmation par contraintes

CSPOM est une API permettant une modélisation simple et naturelle de problèmes en programmation par contraintes. CSPOM est implémenté en Scala.

Choco Solver

Choco est l'un des systèmes de programmation par contraintes libres les plus matures.