Smankusors' Shenzhen Solitaire Solver (GitHub)