GitHub repository: rileyjmurray/sageopt
Primary language: Python
Description: Sageopt enables proof-based signomial and polynomial optimization.