JavaでJaCopを使用してSumIntを使用するには？

Question

私は制約満足問題を解決するためにJacopを学ぼうとしています。私はApi以外のチュートリアルをオンラインで見つけることができませんでした。

私はそのメソッドの仕組みをテストしようとしています。

例えばSumIntを使用する場合。 数字がリストに何回来るかを数えようとしています。 JaCopを使ってどうすればいいですか？ 10,20,10,30,10,50,40

がどのように私は、50 JaCopを使用して登場回数10、20、30、40数えることができます：私はリスト持つこれらのデータを持っている場合と同様

？ これは私が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制約を使用することができます。