JuliaReach/LazySets.jl

Readme
Issues
Stargazers
Watchers

Add linprog method directly from constraints

schillic opened this issue 2 years ago · 0 comments

schillic commented 2 years ago

Add linprog method directly from constraints

Topics

julia convex-sets formal-verification reachability-analysis lazy-evaluation polyhedra convex-hull calculus sets geometry geometry-algorithms computational-geometry zonotope polygons minkowski-sum projections set-propagation

Share to

Contact site admin: Geeks.