protected SolverFactory buildSolverFactory() {
SolverFactory solverFactory = SolverFactory.createFromXmlResource(createSolverConfigResource());
SolverConfig solverConfig = solverFactory.getSolverConfig();
solverConfig.setTerminationConfig(new TerminationConfig());
ExhaustiveSearchPhaseConfig exhaustiveSearchPhaseConfig = new ExhaustiveSearchPhaseConfig();
exhaustiveSearchPhaseConfig.setExhaustiveSearchType(exhaustiveSearchType);
solverConfig.setPhaseConfigList(Arrays.<PhaseConfig>asList(exhaustiveSearchPhaseConfig));
return solverFactory;
}