Published August 10, 2020
| Version v1.37.7
Software
Open
JuliaReach/LazySets.jl: v1.37.7
Creators
- 1. IST Austria
- 2. UdelaR
- 3. Urudata Software
- 4. CSE undergrad at IIITT
- 5. Massey University
- 6. @Shopify
Description
LazySets v1.37.7
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)
Files
JuliaReach/LazySets.jl-v1.37.7.zip
Files
(639.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:b9d54ab87d5103283a559fedcb4a0259
|
639.5 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v1.37.7 (URL)