[rules-users] can the solving process be carried out in a multi-thread way?