GitHub repository: lucjross/jacop
Primary language: Java
Description: Java Constraint Programming solver