It’s all custom flight code. The only software packages we use are basic matrix-vector libraries. Hopefully there will be a paper describing the dynamics/kinematics/controls algorithms soon.