search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Update Project.toml #740

Closed mforets closed 4 years ago

mforets commented 4 years ago

Update required for https://github.com/JuliaReach/Reachability.jl/pull/736#pullrequestreview-349530530