Related libraries

The following table collects software libraries / tools that are related to the topics covered by LazySets. If you would like to suggest a missing tool and don't have write access to this wiki, do not hesitate to open an issue.

---

Set-based reachability analysis

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

Computational geometry

Tool name	Language	Documentation
GeometryBasics.jl	Julia
Geometric Tools	C++

Geometry / Julia packages

• https://github.com/matbesancon/MathOptSetDistances.jl

Interval Arithmetic

• Moore (https://arxiv.org/abs/1611.09567)
• . . .

Sampling

• https://github.com/kciomek/polyrun (Java)
• https://github.com/fontclos/hitandrun (Python)
• https://github.com/GeomScale

Triangulations

• https://discourse.julialang.org/t/is-there-a-tool-for-3d-delaunay-and-voronoi-tessellations/19503/12
• https://github.com/evetion/StarTIN.jl