Choco解算器集目标最大多项式方程

Question

I'm currently trying out Choco Solver (4.0.8) and I'm trying to solve this equations:

Maximize
subject to

I'm stuck on maximising the first equation. I guess I just need a hint which subtype of Varaible EQUATION should be.

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

It seems I have found a solution like this:

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