Draft:Choco Solver

Choco-solver is an free open-source constraint programming library written in Java, with a Python bindings too. It is distributed under the BSD 4-clause license and available on Maven Central Repository. Choco-solver has an interface to various modeling languages: MiniZinc, XCSP3, DIMACS format and MPS. It is also one of the two native CP solvers in PyCSP3, with ACE and a tier 2 solver in CPMPy.