irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
User Guide

Here is a brief introduction about the project and how to use and install the library.