acados
casadi
