org.choco-solver:choco-solver (maven): Open-source constraint solver. 
Keywords: constraint-optimisation-problem|constraint-programming|constraint-satisfaction-problem|constraint-solver|constraints|copr|csp|java|solver