1. Basic knowledge
1. Getting Started
- choco-slover github source code and tool download URL: https://github.com/chocoteam/choco-solver
- choco-slover official website documentation: https://choco-solver.org/
- choco-slover install eclipse video: https://www.youtube.com/watch?v=qz6ATkEI_F8
- Resource URL used in the video: https://drive.google.com/drive/folders/1C2QjazVAGANjFAyC8x2_G_rpHnbmqjrz
2. Key files of the choco-slover tool
Similar to choco-solver-4.10.2.jar choco-solver-4.10.2-no-dep.jar must exist, other files do not have to