HUGINN
Theory and applications of finite groups — Huginn