私は、制約充足問題を解決するために 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);