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