GitHub repository: vishalbelsare/choco-solver
Primary language: Java
Description: An open-source Java library for Constraint Programming