kpotomkin

```Check why :overapproximation is ignored in clustering.``` - works. To make it work we need to be sure that the following options are on: * partitioning option allows to have...

@schillic @mforets [It](https://github.com/JuliaReach/Reachability.jl/blob/master/src/Reachability.jl#L36) doesn't work and `ρ_helper` always takes [default implementation](https://github.com/JuliaReach/LazySets.jl/blob/master/src/LazyOperations/Intersection.jl#L304) of the `use_precise_ρ`. Any suggestions on why it happens?

> JuliaReach/LazySets.jl#1041 I have added LazySets-based algorithm to the issue you mentioned above.

> In lines 7 and 8, depending on the block decomposition used one may be able to re-use the reach sets from 7 into 8, or project them. This will...