solver_pool is private to the rule selectors
solver_pool is private to the rule selectors

eseidel/saycbridge,abortz/saycbridge,abortz/saycbridge,abortz/saycbridge,abortz/saycbridge,eseidel/saycbridge,abortz/saycbridge,eseidel/saycbridge