JaCoP_(solver) loading ...