There is a newer version of the record available.

Published August 3, 2022 | Version v1.59.1
Software Open

JuliaReach/LazySets.jl: v1.59.1

Description

LazySets v1.59.1

Diff since v1.59.0

Merged pull requests:

  • initial implementation of SparsePolynomialZonotope (#3015) (@lucaferranti)
  • SPZ conversions (#3016) (@lucaferranti)
  • implement rand(::SimpleSparsePolynomialZonotope) (#3017) (@lucaferranti)

Files

JuliaReach/LazySets.jl-v1.59.1.zip

Files (708.0 kB)

Name Size Download all
md5:67cbfd7a9076598069dc34a617a6445e
708.0 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JuliaReach/LazySets.jl/tree/v1.59.1 (URL)