Description
Provide numerical abstractions such as convex polyhedra for static analysis, verification, optimization, and mathematical software. It helps developers represent constraints and reason about numeric relationships precisely.
This is a library for technical software, not an end-user application. Correct results depend on the chosen abstraction and how the calling program models its problem.