tris3d (bower): is a 3d tic tac toe algorithm powered by Z3 space
Keywords: algorithm|game|3d