It could be great to expose the Benders decomposition API at the Julia level, not sure yet how this can be done