Библиотека не-линейного программирования на C++

Я ищу рекомендации по библиотекам C++ для не-линейного программирования(не только для целых чисел!).

Предпочтение отдается активно поддерживаемым решениям F/OSS, но допустимы активно поддерживаемые коммерческие решения, предлагающие бесплатные оценочные версии.

Заранее спасибо!

Редактировать:Как просили, вот подробнее:

Приложение, над которым я работаю, простое, и речь идет о минимизации полиномов степени 4 и выше (до 11)с небольшим набором (~20)ограничений, выраженных в виде неравенств (снова в виде полиномов, степень <= 4). Тем не менее, иногда мне также может понадобиться добавить какую-нибудь тригонометрическую функцию. В любом случае, я всегда имею дело с непрерывными дифференцируемыми функциями. На данный момент количество переменных колеблется от 1 до 12 и не будет выходить за его пределы.

Наконец, мне нужно решение, работающее на Windows, но предпочтительнее кросс-платформенные решения.