https://a2r-lab.org/TinySDP/
TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics
TinySDP is a real-time semidefinite optimization solver for certifiable embedded MPC with nonconvex obstacle constraints.
real timeoptimization