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