GitHub repository: ILPN/63681-FaPra-Programmiersysteme-WiSe24-Gruppe-Westen
Description: Inductive miner