Merge branch 'dev' into dev_hrh_global

haorenhui

2023-10-25 4269bd7e29b525a0e97e7283d2688e26df87b9f2

1
2
3
4
5
6
7
8
Quintiq file version 2.0
#parent: #root
Attribute ExecutionNr
{
  #keys: '3[145632.3.275965194][145632.3.275965193][145632.3.275965195]'
  Description: 'The index indicating which `LibOpt_SnapshotMPs` this `LibOpt_StatisticSuboptimizerMP` should collect values from. In particular, this statistic would only look at `LibOpt_SnapshotMPs` which `ExecutionNr` matches this index.'
  ValueType: Number
}