Code for Learning Sparse Nonlinear Dynamics via Mixed Integer Optimization - View it on GitHub