GitHub repository: Dagefoerde/jacop
Description: Java Constraint Programming solver