Published November 23, 2025
| Version v5.1.0
Software
Open
JuliaReach/LazySets.jl: v5.1.0
Authors/Creators
- Christian Schilling1
- Marcelo Forets2
- Luca Ferranti
- Alessandro Carraro
- Sebastián Guadalupe
- kpotomkin
- Frederik Baymler Mathiesen3
- Prajwal4
- Mauricio Vanzulli5
- Bruno Garate6
- tomerarnon
- Daniel Freire Caporale
- Birm
- nikos-kekatos
- Peng Yu7
- Lasse Peters8
- Aadesh Deshmukh9
- David Reguera10
- Gustavo Goretkin
- Julia TagBot
- Morten Piibeleht11
- viryfrederic
- 1. Aalborg University
- 2. Universidad de la República
- 3. TU Delft
- 4. @SRA-VJTI
- 5. @PlantingSpace
- 6. Urudata Software
- 7. @Shopify
- 8. Delft University of Technology
- 9. AMD
- 10. ZeroDeposit
- 11. @JuliaComputing
Description
LazySets v5.1.0
Merged pull requests:
- Better
concretizeforRectification(#4085) (@schillic) - v5.1.0 (#4090) (@schillic)
Files
JuliaReach/LazySets.jl-v5.1.0.zip
Files
(1.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b2bae8d4cf01b9ba265fd538bbd23c0a
|
1.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/JuliaReach/LazySets.jl/tree/v5.1.0 (URL)
Software
- Repository URL
- https://github.com/JuliaReach/LazySets.jl