Choco Solver setObjective максимизировать полиноминальное уравнение

Question

Я сейчас пробую Choco Solver (4.0.8) и пытаюсь решить следующие уравнения:

Развернуть
с учетом

Я застрял на максимизации первого уравнения. Я думаю, мне просто нужна подсказка, какой подтип Varaible EQUATION должен быть.

Model model = new Model("my first problem");

BoolVar x1 = model.boolVar("x1");
BoolVar x2 = model.boolVar("x2");
BoolVar x3 = model.boolVar("x3");
BoolVar x4 = model.boolVar("x4");

BoolVar[] bools = {x1, x2, x3, x4};
int[] c = {5, 7, 4, 3};
int[] c2 = {8, 11, 6, 4};

Variable EQUATION = new Variable();

model.scalar(bools, c, "<=", 14).post();      // 5x1 + 7x2 + 4x3 + 3x4 ≤ 14
model.setObjective(Model.MAXIMIZE, EQUATION); // 8x1 + 11x2 + 6x3 + 4x4

model.getSolver().solve();

System.out.println(x1);
System.out.println(x2);
System.out.println(x3);
System.out.println(x4);

Answer 1

Кажется, я нашел решение, подобное этому:

Variable EQUATION = new ScaleView(x1, 8)
               .add(new ScaleView(x2, 11),
                    new ScaleView(x3, 6),
                    new ScaleView(x4, 4)).intVar();