Package JaCoP.set.core