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

Bump IntervalMatrices and Symbolics #870

Closed schillic closed 1 month ago

schillic commented 1 month ago

Closes #863. Closes #864. Closes #869.