CasADI

Working with professor Yash Pant, this library is mentioned pretty often. Can be used such as in MPC.