Package org.jacop.core