I worked from December, 2017 until June, 2018 on the Institute of Algebra and created the GAP package Predicata as a master thesis.
This work was supervised by Erhard Aichinger and partially supported by the Austrian Science Fund (FWF), P29931.
Website: Predicata
Image created with the GAP package automata.