search

JuliaReach / Reachability.jl

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

Bump TaylorIntegration #654

Closed mforets closed 5 years ago

mforets commented 5 years ago

https://github.com/PerezHz/TaylorIntegration.jl/releases/tag/v0.5.1