add support for SOS constraints