org.choco-solver:choco-sat (maven): A SAT solver, used internally in choco-solver 
Keywords: constraint-optimisation-problem|constraint-programming|constraint-satisfaction-problem|constraint-solver|constraints|copr|csp|java|solver