Вы бы порекомендовали какие-нибудь выпуклые библиотеки optim?
Идеально с открытым исходным кодом. Априори для полуопределенного программирования и QCQP.
(я собираюсь использовать его с fsharp, но подойдет любой дотнет)
Solver Foundation , среда выполнения .Net для математического программирования, моделирования и оптимизации от Microsoft, вероятно, обеспечивает то, что вы хотите.
У них также есть Язык моделирования оптимизации который позволяет декларативно моделировать задачи оптимизации.Этот способ моделирования действительно привлекателен в сочетании с выразительностью функциональных языков программирования, таких как F #.
Чтобы почувствовать использование Solver Foundation с F #, взгляните на эти интересные посты в блоге: