• JaCoP
  • Report version in the solver message
  • Add the timing option that specifies whether to report setup, solution and output times
  • Fix loading jvm.dll dependencies on Windows
• IlogCP
  • Use a high-resolution steady clock for time measurement
• Gecode:
  • Add the timing option that specifies whether to report setup, solution and output times