Marcelo Forets
Marcelo Forets
Closing as stale.
Closing as stale.
Should we close this as stale? Moreover I think we're using the right library now.
@yupbank thanks for this great contribution, and sorry for the long time merging this!
Should we close this as stale?
this is still not fixed, eg. ```julia julia> Zcp = decompose(Z, [1:2, 3:4], LinearMap); julia> typeof(Zcp) CartesianProductArray{Float64,LazySet{Float64}} ```
See also https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/770 which removes the dependency while we dont effectively use it
Hi, I get the same error 😖 Thanks in advance for your help. ```julia (v0.7) pkg> rm Homebrew Updating `~/.julia/environments/v0.7/Project.toml` [d9be37ee] - Homebrew v0.7.0 Updating `~/.julia/environments/v0.7/Manifest.toml` [no changes] (v0.7) pkg>...
Thanks for the investigation @Zinoex. Have you checked https://github.com/ds4dm/Tulip.jl? Do you think it might be a good default solver?
> We should choose one name for the kwarg to specify the LP solver used in some functions and stick to it. I think that backend=... is OK. the problem...