JuliaReach/LazySets.jl: v1.37.7
- Christian Schilling
- Marcelo Forets
- Sebastián Guadalupe
- kostakoida
- ueliwechsler
- Bruno Garate
- tomerarnon
- Ryan Birmingham
- dfcaporale
- nikos-kekatos
- Aadesh Deshmukh
- Julia TagBot
- Morten Piibeleht
- Peng Yu
- viryfrederic
Publication date
August 2020
DOIAbstract
LazySets v1.37.7 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
Add to ORKG