Choco-solver
Features
- Since the early 2000s
- Open-source (BSD-License)
- Java-based (jdk8)
- Python binding available (WIP)
- Available on MCR and pypi
- Hosted on Github
- Parsers for XCSP$^3$, MiniZinc and DIMACS CNF files
- Included in PyCSP3 (
-solver=choco) - As tier 3 solver in CPMpy (since 0.9.17)
- About 3 releases per year
- 4.10.16 is the current version
- $\approx5,860$ downloads per month, according to MCR
- 5 types of variable available
- $> 200$ propagators
- State-of-the-art search strategies
- Almost LCG-ready
Visit the website for more documentation, tutorials, javadoc , etc