org.drools.verifier.solver
Classes 
RuleSolver
Solvers