Generalizing search tree solvers