search

JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia
https://juliareach.github.io/ReachabilityAnalysis.jl/
MIT License
192 stars 16 forks source link

Update to LazySets v2.14 and allow ReachabilityBase v0.3 #851

Closed schillic closed 4 months ago

schillic commented 4 months ago

Closes #849. Closes #850.