ReachabilityAnalysis.jl
ReachabilityAnalysis.jl copied to clipboard
in-place mul for BOX inhomog case
same as https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/429 for BOX - inhomog
same as https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/429 for BOX - inhomog