An efficient implementation of graph-based invariant set algorithm for constrained nonlinear dynamical systems. (August 2022)