Related libraries

The following table collects software libraries / tools that are related to the topics covered by LazySets. If would like to suggest a missing tool, do not hesitate to open an issue.

Tool name	Language	Documentation
HyPro	C++
polytope	Python
pypoman	Python
Stabilitypy	Python