hypro

C ★ 0 updated 9y ago ⑂ fork

HyPro: A C++ state set representation library for the analysis of hybrid systems

No plain-English explanation yet — one is being written right now. Check back in a minute.