A Dots-and-Boxes variant in Pygame, with solvers for several graph families — written to generate evidence for a research paper.