GitHub repository: tommasodreossi/sapo
Primary language: C++
Description: Reachability analysis and synthesis of parameters for polynomial dynamical systems