Solvers e estatísticas para jogos de paciência de cartas
