HyPro  20.11
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
Getting started

Here you can find information on how to install the library and its dependencies.