Published June 3, 2021
| Version v1.45.1
Software
Open
JuliaReach/LazySets.jl: v1.45.1
Creators
- 1. University of Konstanz
- 2. UdelaR
- 3. Urudata Software
- 4. IIITT
- 5. Massey University
- 6. @Shopify
Description
LazySets v1.45.1
Merged pull requests:
- Add option to not remove zero generators in oa of a TM (#2727) (@schillic)
- Add option to not remove zero generators in zonotope project (#2728) (@schillic)
- Update Project.toml (#2729) (@schillic)
Files
JuliaReach/LazySets.jl-v1.45.1.zip
Files
(696.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:768b68299033884a9fd2d389b9e84600
|
696.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v1.45.1 (URL)