search

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Fix for rectify in #3469 #3479

Closed schillic closed 4 months ago

schillic commented 4 months ago

I merge this because it is just a minor fix.