Update Project.toml - Githubissues

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Closed mforets closed 5 years ago

mforets commented 5 years ago

Temporary compat fix.

schillic commented 5 years ago

The dev build fails because TaylorModels#master is not supported yet (see #651).