CaΣoS provides tools for symbolic polynomial expressions, conic optimization, and parametrized (convex and nonconvex) sum-of-squares optimization, making use of the CasADi software for symbolic expressions, automatic differentiation, and numerical optimization. CaΣoS is available open-source at https://github.com/iFR-OFC/casos.
Cunis et al. (Wed,) studied this question.