Я пытаюсь найти структуру оптимизации, которая поддерживает полуопределенное программирование (SDP) для целочисленных переменных.В моем конкретном случае все переменные равны 0-1, и речь идет не столько об оптимизации, сколько о поиске удовлетворительного решения в первую очередь.(Я точно знаю, что в реалах есть решения, я забочусь о том, чтобы найти их в целых числах.) Мне трудно перебирать различные библиотеки, так как они часто не очень хорошо отражают (imo)поддерживают ли они SDP или ILP.Я также знаю, что некоторые могут поддерживать и то и другое, но не обязательно очень хорошо использовать их вместе.Я надеялся, что у кого-то будет опыт, спасибо.
О, и академические лицензии в порядке (это для академической работы);в идеале это не должно быть то, что требует коммерческой лицензии.