AI for beating the game triple-solver