Variable multiplications in constraints

[lcpz]

I seem to understand that it is not possible to multiply decision variables within a constraint (e.g., x * y >= 1).

Please correct me if I am wrong (by showing me how), or consider adding such a feature.

[emallson]

you will need to implement support for indicator constraints (https://www.ibm.com/docs/en/icos/20.1.0?topic=cpxxaddindconstr-cpxaddindconstr) for MIPs, or add support for QPs for generalized multiplication support (e.g. https://www.ibm.com/docs/en/icos/20.1.0?topic=cpxxaddqconstr-cpxaddqconstr) which may require multiple callback implementations because the current implementation assumes MIP construction if I remember correctly.