Irreducible soluble linear groups over finite fields and more
https://www.gap-system.org/Packages/irredsol.html