Sageopt enables proof-based signomial and polynomial optimization.
Primary LanguagePython
No issues in this repository yet.