Software der AG Theoretische Informatik