Does CPLEX recognize any special ordered set (SOS1 or SOS2) constraints automatically?

For example, if you define a constraint of the form "z1 + z2 + z3 <= 1" for binary variables z1, z2 and z3, does CPLEX recognize this as a SOS1 constraint automatically? Or is it necessary to define SOS constraints explicitly by e.g. the IloSOS1 and IloSOS2 classes?

It seems that it would be simple for the presolver do an automatic conversion, but I couldn't find any explicit documentation on this point. Any help would be appreciated.

There is no automatic conversion to SOS sets, they need to be formulated. Here is the relevant documentation which you might have already seen: https://www.ibm.com/support/knowledgecenter/SSSA5P_20.1.0/ilog.odms.cplex.help/CPLEX/UsrMan/topics/discr_optim/sos/01_SOS_title_synopsis.html

If you need further discussion, please open a case if you are entitled. Otherwise, please discuss your question in Data Science Community https://community.ibm.com/community/user/datascience/communities/community-home/digestviewer?communitykey=ab7de0fd-6f43-47a9-8261-33578a231bb7&tab=digestviewer

Thank you. Hopefully the presolver will gain such a capability in the future. For now, I suppose we will have to adjust our code to evaluate the new SOS algorithms in CPLEX 20.1.