GamesmanJava:基于Java的并行求解器。 曾经用来解决connect4