Package org.drools.verifier.solver