ReachabilityAnalysis.jl icon indicating copy to clipboard operation
ReachabilityAnalysis.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Add FastExpm as optional exponential backend

Open schillic opened this issue 2 years ago • 1 comments

schillic avatar Jun 14 '22 20:06 schillic

See also https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/770 which removes the dependency while we dont effectively use it

mforets avatar Feb 09 '24 14:02 mforets