cleaner way to check solver type