search

JuliaReach / Reachability.jl

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

Add no-overapproximation option #540

Closed schillic closed 5 years ago

schillic commented 5 years ago

Now one can do :block_types_iter => nothing.

This closes #479.