org.choco-solver examples 5.0.0-beta.1 5.0.0-beta.1 4.10.3 4.10.4 4.10.5 4.10.6 4.10.7 4.10.8 4.10.9 4.10.10 4.10.11 4.10.12 4.10.13 4.10.14 4.10.15 4.10.16 4.10.17 4.10.18 5.0.0-beta.1 20250217172131