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 OptionRelativeMIPGap
{
  #keys: '3[145808.4.874772870][145808.4.874772869][145808.4.874772871]'
  Description: 'Relative mip gap used by meta optimizer'
  ValueType: Real
}