davidamaro

## Packages
using JuMP
using Gurobi

using BenchmarkTools

function example_big_sum(rowsum, colsum; verbose::Bool = true)
    ## Model:
    model = Model(Gurobi.Optimizer)
    @assert length(rowsum) == length(colsum)

davidamaro

using IntervalConstraintProgramming
using IntervalArithmetic
using ModelingToolkit

using BenchmarkTools

"Cs is a list of contractors"
function pave(Cs, working::Vector{IntervalBox{N,T}}, ϵ, bisection_point=nothing) where {N,T}

    boundary = SubPaving{N,T}()