Merge branch 'dev' into dev_hrh_global

haorenhui

2023-10-27 1499d8149575493519f2c5b04462c2302a455aa9

1
2
3
4
5
6
7
8
Quintiq file version 2.0
#parent: #root
Attribute NumberOfThreads
{
  #keys: '3[110880.6.830298810][110880.6.830298807][110880.6.830298811]'
  Description: 'Number of threads to be used to run the optimizer for benchmarking'
  ValueType: Number
}