I just released a little puzzle game called NAP (short for No Automorphisms, Please). The goal is to add vertices and edges to the existing graph to give it a trivial automorphism group, i.e., break all of its symmetries. Doing so with fewer edges and vertices yields a higher score.
I was inspired by an exam problem in my graph theory course this past semester. The problem was something along the lines of
Typically, the exam problems are proof-oriented or a question with a narrower path. But the process of solving this, at least the way I did it, felt very much like a puzzle game. You just have to start, and then you reason about where that got you, and go down a different path; but oh! you just found out that path doesn't work, so you backtrack and try again. It's a very interactive, maze-like, get-your-hands-dirty kind of problem with an experience only justafiable by actually doing the problem (go ahead and try it). So I took the idea and made a mini daily puzzle game.
Find a finite, 4-regular graph with trivial automorphism group.
How do you calculate graph automorphisms?
You ask someone else do to calculate them, of course! In this case, that someone is Sage, and specifically the SageMathCell API. In general, it takes some heuristic and some brute force. One goal of this game is to help develop these two geometric senses.