如何在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约束。