Merge branch 'dev' into dev_yy

yanweiyuan3

2023-10-17 face55e7f35130d29d7f395a4b4501d57b97ef81

1
2
3
4
5
6
7
8
Quintiq file version 2.0
#parent: #root
Attribute IsMIP
{
  #keys: '3[139164.3.753927227][139164.3.753927226][139164.3.753927228]'
  Description: 'Whether at least one of the variables is integer.'
  ValueType: Boolean
}