Dieses Repository enthält den Quellcode zum Tool für meine Masterarbeit: Courcelles Theorem in der Praxis: Entscheidung von MSOL-Grapheigenschaften durch übersetzung in Automaten
Unter /dist findet sich eine ausführbare Datei "courcelleGUI.exe" für Windows.
Alternativ kann man das Tool starten, indem die Datei courcelleGUI.py mit Python ausgeführt wird. Es sollte die Python Version 3.14 verwendet werden.
Für die GUI werden folgende Python module benötigt:
tkinter Version 8.6
customtkinter Version 6.0.0