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