CSP4J est une API permettant de résoudre un formalisé sous forme de CSP 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, participe aux compétitions internationales de prouveurs de CSP.
CSPOM est une API permettant une modélisation simple et naturelle de problèmes en programmation par contraintes. CSPOM est implémenté en Java.
Choco est l'un des systèmes de programmation par contraintes libres les plus matures.
jSwissTour est une application de gestion de tournois en « rondes suisses », utilisant des outils de programmation par contraintes pour calculer les meilleurs matchs à plus de deux joueurs. JSwissTour propose également un portfolio de méthodes de choix social pour calculer les classements.
jSwissTour est développé en Java et propose une interface graphique SWT.