Methods to compute sets of states reachable by dynamical systems - View it on GitHub