Published May 14, 2022
| Version v1.57.0
Software
Open
JuliaReach/LazySets.jl: v1.57.0
Authors/Creators
- 1. Aalborg University
- 2. Universidad de la República
- 3. Urudata Software
- 4. University of Utah
- 5. Massey University
- 6. @Shopify
- 7. University of Vaasa
Description
LazySets v1.57.0
Closed issues:
- Polytope is determined nonempty but has no vertex (#2827)
- Vararg constructor for Singleton (#2961)
Merged pull requests:
- #2827 - Pass ztol to removevredundancy! (#2955) (@schillic)
- #2961 - Vararg constructor for Singleton (#2962) (@schillic)
- center for lazy operations (#2963) (@schillic)
- Add special cases for disjointness and inclusion involving universe (#2964) (@mforets)
Files
JuliaReach/LazySets.jl-v1.57.0.zip
Files
(690.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6d39f32906f4a4160e57fddc232053dc
|
690.9 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v1.57.0 (URL)