如何在 Java 中通过 JaCop 使用 SumInt？

Question

我一直在尝试学习 Jacop 来解决我的约束满足问题。除了 Api，我在网上找不到任何教程。

所以我正在尝试测试它的方法是如何工作的。

例如关于使用 SumInt。 我试图计算一个数字出现在列表中的次数。我怎样才能使用 JaCop 做到这一点？

如果我有一个包含这些数据的列表：10,20,10,30,10,50,40

如何使用 JaCop 计算 10、20、30、40、50 出现了多少次？ 这是我从在线 Api 页面获得的示例。但这看起来不像我想做的。

    Store store = new Store();
    IntVar a = new IntVar(store, "a", 1, 3); 
    IntVar b = new IntVar(store, "b", 1, 3); 
    IntVar c = new IntVar(store, "c", 1, 3); 
    IntVar sum = new IntVar(store, "sum", 1, 10); 
    IntVar[] v = {a, b, c}; 
    Constraint ctr = new SumInt(store,v, "==", sum); 
    store.impose(ctr);

Answer 1

您可以使用Count 或Among 约束。