libhybrid
A library for discretized Hybrid Dynamical Systems