Toolkit for the creation and analysis of finite groups.