org.choco-solver:choco (maven):  A Free and Open-Source library dedicated to Constraint Programming. 
Keywords: constraint-optimisation-problem|constraint-programming|constraint-satisfaction-problem|constraint-solver|constraints|copr|csp|java|solver