Enabling selection of solver