jd-foster

using Sundials

artifact_dir = Sundials.Sundials_jll.artifact_dir
include_dir = joinpath(artifact_dir, "include") |> normpath
lib_dir = joinpath(artifact_dir, "lib") |> normpath


## Just search the main libraries (must keep up-to-date):
dylibs = [

jd-foster

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}()

jd-foster

## Packages
using JuMP
using Gurobi

using BenchmarkTools

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