JuliaReach/LazySets.jl: v1.56.0

Christian Schilling
Marcelo Forets
Sebastián Guadalupe
kpotomkin
ueliwechsler
Bruno Garate
tomerarnon
dfcaporale
Ryan Birmingham
nikos-kekatos
Aadesh Deshmukh
Gustavo Goretkin
Julia TagBot
Morten Piibeleht
Peng Yu
lucaferranti
viryfrederic

Publication date

March 2022

DOI

Abstract

LazySets v1.56.0 Diff since v1.55.0 Closed issues: Update optional dependencies page in the manual (#2924) Reach sets (#2933) GLPK not thread safe? (#2934) Merged pull requests: Add JCON badge to README (#2930) (@schillic) Bring back fixed test (#2931) (@schillic) Faster concrete intersection of mixed polygons (#2935) (@schillic) Move Optional Dependencies to its own page (#2936) (@mforets) Use test/Project file (#2939) (@schillic) Update CI scripts (#2940) (@schillic) Faster low/high for Zonotope (#2941) (@schillic) CompatHelper: bump compat for JuMP to 0.23, (keep existing compat) (#2942) (@github-actions[bot]) Fix GLPK v1 and update Polyhedra & CDDLib (#2943) (@schillic) Update MinkowskiSum.jl (#2945) (@mforets) Update Project.toml (#...