Analysis of Fred Horn's Gloop puzzle

Gloop is a tile-based combinatorial puzzle game with a strong topological basis, in which the player is assigned a number of challenges to complete with a particular set of tiles. This paper describes the computer- based analysis of a number of representative Gloop challenges, including the computer-assisted solution of a difficult problem that had stood for over a decade