packings of two, three or four equal circles on any flat torus, defined to be the quotient of the
Euclidean plane by the lattice generated by two independent vectors. We prove the
optimality of the arrangements using techniques from rigidity theory and topological graph
theory.