AG Planarity is a challenge game based on the planar graphs.