Symbolic analysis of discrete dynamical systems - View it on GitHub