Set-theoretic computations with residue classes in GAP
https://www.gap-system.org/packages/#resclasses