Solving QSAT problems with neural MCTS

Re-assign community