乘/加Google OR工具Java中的IntVar's and Constants

import org.chocosolver.solver.Model;
import org.chocosolver.solver.Solution;
import org.chocosolver.solver.search.strategy.selectors.values.IntDomainMin;

public class Example {
    public static void main(String[] args) {
        // 创建一个模型
        Model model = new Model("Example");

        // 创建两个整数变量
        IntVar x = model.intVar("x", 0, 10);
        IntVar y = model.intVar("y", 0, 10);

        // 添加约束条件：x + y = 10
        model.arithm(x, "+", y, "=", 10).post();

        // 求解模型
        Solution solution = model.getSolver().solve();

        // 输出解
        while (solution != null) {
            System.out.println("x = " + solution.getIntVal(x) + ", y = " + solution.getIntVal(y));
            solution = model.getSolver().getSolution();
        }
    }
}