JuliaReach / Reachability.jl

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

Build docs in Travis again #663

Closed schillic closed 4 years ago

schillic commented 4 years ago

This also fixes a warning via import LazySets: LinearMap, AffineMap, ResetMap.