There is a newer version of the record available.

Published June 18, 2022 | Version v0.4.1
Software Open

JuliaReach/SpaceExParser.jl: v0.4.1

Authors/Creators

  • 1. Aalborg University
  • 2. Universidad de la República

Description

Support for new version of HybridSystems

Files

JuliaReach/SpaceExParser.jl-v0.4.1.zip

Files (132.3 kB)

Name Size Download all
md5:b6080d50c724fed6059be22b1db458e4
132.3 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JuliaReach/SpaceExParser.jl/tree/v0.4.1 (URL)