Checkers 'solved' after years of number crunching