JuliaReach/LazySets.jl: v1.37.4

LazySets v1.37.4 Diff since v1.37.3 Closed issues: Implement iterator version of vertices_list (#53) Boundedness check for polyhedra using Stiemke's Theorem of alternatives (#1136) isbounded of empty polyhedron crashes (#1779) Inplace linear map for zonotopic sets (#2063) Concrete projection of a hyperrectangle should give a hyperrectangle (#2190) MT Polyhedron constructor (#2222) Error with new version of ModelingToolkit (#2223) Merged pull requests: #1136 - Boundedness check for polyhedra using Stiemke's Theorem of alternatives (#2110) (@SebastianGuadalupe) #53 - Iterator versions of constraints_list and vertices_list (#2263) (@schillic) #2222 - Add HPolyhedron constructor using symbolic vars (#2270) (@mforets) #2190 - Concrete projection of hyperrectangular sets (#2272) (@mforets) #2063 - Add concrete in-place linear map for zonotope (#2273) (@mforets) Update Project.toml (#2279) (@mforets