Sample Image Sapo Nov 30, 2017 Go to Project Site WEB-APP REF Sapo is a C++ tool for the formal analysis of discrete-time polynomial dynamical systems. academic bioinformatics Dynamical systems