JuMP:如何从getvalue(x)获得多个解决方案

using JuMP
using GLPK

# 创建一个模型
model = Model(GLPK.Optimizer)

# 定义变量
@variable(model, 0 <= x <= 2, Int)
@variable(model, 0 <= y <= 30, Int)

# 定义目标函数
@objective(model, Max, 5x + 3y)

# 定义约束条件
@constraint(model, 1x + 5y <= 3.0)

# 设置求解器参数，指定返回多个解决方案
set_optimizer_attribute(model, "Solutions", 5)

# 求解优化问题
optimize!(model)

# 打印多个解决方案
for i in 1:5
    println("Solution ", i)
    println("x = ", value(x))
    println("y = ", value(y))
    println("Objective = ", objective_value(model))
    println()
    # 通过修改变量的上界或下界，可以获取不同的解决方案
    set_upper_bound(x, value(x) - 1)
end