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