JuliaReach/LazySets.jl: v1.37.0

LazySets v1.37.0 Diff since v1.36.3 Closed issues: Add vertices_list for HPolyhedron (#998) Zonotope inclusion in hyperrectangle (#1555) Extend isdisjoint for julia v1.5 (#2202) Vertices list of minkowski sum of zonotopes (#2211) Merged pull requests: #998 - Add vertices list for HPolyhedron (#2128) (@mforets) Add default solver to Polyhedra backend (#2195) (@schillic) Two-dimensional zonotope vertex enumeration with positive generators (#2199) (@yupbank) #2202 - Extend isdisjoint for Julia v1.5 (#2203) (@mforets) Faster Zonotope inclusion in Hyperrectangle (#2205) (@SebastianGuadalupe) Rename Line to Line2D (#2206) (@mforets) #2211 - Vertices list of minkowski sum of zonotopes (#2212) (@SebastianGuadalupe) Bump Documenter version (#2216) (@schillic) Update Project.toml (#2217) (@mforets