[2310.02658] Solving Multi-Configuration Problems: A Performance Analysis with Choco Solver