Marcelo Forets
Marcelo Forets
Sounds like a "good first issue"?
Do we want to add this as a new set type or to be able to convert back and forth between `IntervalBox` and `Hyperrectangle`? I think that the latter is...
> to be able to convert back and forth between IntervalBox and Hyperrectangle? I think that the latter is OK. this conversion was added in [LazySets v1.0.0](https://github.com/JuliaReach/LazySets.jl/releases/tag/v1.9.0) > Do we...
one still has to compute the sign of `di` to see if one has to muliplied by either the `inf` or the `sup`. indeed computing the differences `c[i] - radius_hyperrectangle(H,...
> So I would guess that the intervals are actually cheaper. you're right -- i played a bit and the version with intervals is faster for low dimensions (there is...
What would be a good name? `Hypercube`? cc: @asarvind
How about `Hypercuboid`?
@UtkarshChemE yes, definitely. note that GLPK is just the default solver, but other solvers *can* be used if the user explicitly passes the `solver` keyword argument. for examples see: -...
As per discussion, i think we should use JuMP instead of MOI.
This branch should be rebased with master, since several commits have already been merged.