JuliaReach / LazySets.jl

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

Let `remove_redundant_generators` remove almost-zero columns #3504

Closed schillic closed 1 month ago

schillic commented 2 months ago

The build error in the documentation is because it takes a while to update to new releases.