Merge branch 'dev' into dev_yy

yanweiyuan3

2023-10-16 d10671cc1821707c11e466c7a982a6dbfa6442a0

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
}