[rules-users] Combining Drools Expert and Planner

Hi. Is it possible to combine Drools expert and planner to solve NP problems (or some kind of model checking). For example, I have a model described as a .drl file declare Project x : int end And, then I have a constraint (or rule) - something like this - rule " Rule on x" agenda-group "Group 2" dialect "mvel" no-loop true when P : Project(P.x > 5 && P.x < 7) then System.out.println("Rule satisfied"); end Is it possible to obtain a value propagation mechanism by combining with Planner, by which I finally get a value for x as 6 ? I am working on model checking for models that have various constraints, on boolean, int, real, strings, container types and also on types that are similar to C structs. There is hardly any reasoner/solver that does model checking for constraints on such a varied types of datatypes. I checked planner, but defining planning variables and stuff on score generation seemed to me a bit new and confusing. Thank you :) -- View this message in context: http://drools.46999.n3.nabble.com/Combining-Drools-Expert-and-Planner-tp4... Sent from the Drools: User forum mailing list archive at Nabble.com.