irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
Viewer

We provide a rough viewer to help the users to check the results generated during the computation, by wrapping the viewer of library libigl for more details, please check its official website.