Package org.jacop.set.core