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.
References
- Choco-solver: A Java library for constraint programming. Charles Prud'homme and Jean-Guillaume Fages, In Journal of Open Source Software, number 78, volume 7, 2022, pages 4708.
External links
- Choco-solver home site
- GitHub repository
- Choco-solver on Maven Central Repository
- Choco-solver on pip
 | This scientific software article is a stub. You can help Wikipedia by expanding it. |
 | This computer-library-related article is a stub. You can help Wikipedia by expanding it. |