Package org.jacop.search.restart