v1.37.7

LazySets v1.37.7

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Sebastián Guadalupe (@SebastianGuadalupe)
• Christian Schilling (@schillic)

Features

• Overapproximate a polytope with a zonotope using Cartesian decomposition (#2298)

Enhancements

• Add HPolytope constructor for use with ModelingToolkit, and improvement of the vars argument handling (#2315)
• Improved zonotope-hyperplane disjointness check (#2317)

Internal changes

• Refactor zonotope vertex enumeration methods (#2303)

---

Diff since v1.37.6

Closed issues:

• Follow up of 2d zonotope vertex enum (#2208)
• Overapproximate a polytope with a zonotope using cartesian decomposition (#2277)

Merged pull requests:

• #2277 - Overapproximate a polytope with a zonotope using cartesian decomposition (#2298) (@SebastianGuadalupe)
• #2208 - Refactor zonotope vertex enumeration methods (#2303) (@mforets)
• Add HPolytope with MT + let macro work on tuples (#2315) (@mforets)
• Improve zonotope - hyperplane disjointness check (#2317) (@mforets)
• Fix global-variable issues in tests (#2318) (@schillic)
• Update Project.toml (#2323) (@mforets)