Update choco-solver to 5.0.0#407

max-leuthaeuser merged 2 commits intomax-leuthaeuser:mastermax-leuthaeuser/SCROLL:masterfrom

scala-steward:update/choco-solver-5.0.0scala-steward/SCROLL:update/choco-solver-5.0.0Copy head branch name to clipboard