Theory of Computation project solving instances of the tiling puzzle