Re: [rules-users] Should we rename Drools Solver to Drools Planner?