search

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Fix `convert` of `HPolyhedron` from `Polyhedra.HRep` #3611

Closed schillic closed 1 month ago

schillic commented 1 month ago

Now the methods for HPolyhedron and HPolytope are (correctly) identical (up to the set type) and should be shared.