PolyJuMP
CSDP
SCS
DynamicPolynomials
