Das deutsche Python-Forum

Hallo zusammen,

ich habe seit neustem Python auf dem Pc und habe im Ordner von Raid Finder die Datei raid_solver.py und habe sie dann mit IDLE geöffnet und als ich Doppelklick (Linksklick) auf raid_solver.py gedrückt habe, bekomme ich kein neues Fenster wie der Typ im Video (https://www.youtube.com/watch?v=c48DR0uA4sE&t=630s). Oder wenn ich das ausprobiere mit F5 zu öffnen bekomme ich dieses Problem: https://gyazo.com/9fa7e1ba581dc74a75740bb899d56771
Was könnte ich tun um dieses Problem zu beheben um weiterzukommen er der Typ im Video.

AktivAmSurfen

Fehlermeldungen bitte als Text posten und nicht als als Bild. Am besten zwischen Code-Tags, die eingefügt werden, wenn man im "Vollständigen Editor & Vorschau" den </> Knopf drückt.

Es wird ein Modul namens "z3" nicht gefunden.
Du musst es wohl installieren.

raid_solver.py braucht augenscheinlich ein Modul oder Paket mit Namen z3. Das musst du eben installieren. https://github.com/Z3Prover/z3