SpaceX uses convex optimizers, like CVX.

https://ocw.mit.edu/courses/6-079-introduction-to-convex-opt...