search

JuliaReach / Reachability.jl

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

Bump LazySets #749

Closed schillic closed 4 years ago

mforets commented 4 years ago

i haven't tested this though, but i dont expect that the breaking changes introduced in the latest release have to be considered.. let's see if the CI passes.

schillic commented 4 years ago

It will, one already passed.