Download

Instance: Solutions four-slot appointment with 2 cardiologists and 1 neurologist

preferred_dates: [14.07.2025, 15.07.2025]

undesired_weekdays: [Mon (0), Fri (4)]

preferred_times: “Monday, slotIds 6–9 (9:30–11:00), Tu, slotIds 10-13 (10:30-11:30) “

preferred_doctors:

• cardiologists: [4, 8]

• neurologists: [13, 17]

Solution found:

Appointment Slots: appSlots[0]=203 appSlots[1]=204 appSlots[2]=205 appSlots[3]=206 appResource_CARDIOLOGY=4 appResource_NEUROLOGIE=17

** Choco 4.10.9 (2022-08) : Constraint Programming Solver, Copyright (c) 2010-2022

• Model[MASP Scheduling Problem] features:

  Variables : 1463

  Constraints : 1091

  Building time : 0.140s

  User-defined search strategy : no

  Complementary search strategy : no

• Complete search - 1 solution found.

  Model[MASP Scheduling Problem]

  Solutions: 1

  MINIMIZE Optimize Soft Constraints = 0,

  Building time : 0.140s

  Resolution time : 0.167s

  Time to best solution : 0.148s

  Nodes: 172 (1,027.4 n/s)

  Backtracks: 343

  Backjumps: 0

  Fails: 171

  Restarts: 0

[INFO] ––––––––––––––––––––––––

[INFO] BUILD SUCCESS

[INFO] ––––––––––––––––––––––––

[INFO] Total time: 0.893 s

[INFO] Finished at: 2025-07-11T10:41:50+02:00

[INFO] ––––––––––––––––––––––––