• kghector

    Hi mega noob here to python.
    Can anyone help me please.

    I am running a specific script that uses z3 solver. (Searches seeds for a Pokémon game).

    I have this script successfully working on pc. However I wished to make it portable so I didn’t need a pc with me.

    Downloaded pythonista. Manually downloaded z3 solver from github.

    Can find a way to import it to pythonista from my iCloud Drive.

    Tried to use stash and use the pip install command, tried pip install z3 and also pip install z3-solver.

    I have managed to get the script loading up via the pip commands however using the z3 I get and error on importing z3core.

    When using z3-solver I get and error saying solver is no attribute ‘solver’

    Any tips on how to use the module I downloaded or hot to get this z3 working correctly please?

    raceback (most recent call last):
    File "/private/var/mobile/Library/Mobile Documents/com~apple~CloudDocs/Downloads/RaidFinder-windows/raid_solver.py", line 179, in <module>
    if main() == False:
    File "/private/var/mobile/Library/Mobile Documents/com~apple~CloudDocs/Downloads/RaidFinder-windows/raid_solver.py", line 174, in main
    return searchInput()
    File "/private/var/mobile/Library/Mobile Documents/com~apple~CloudDocs/Downloads/RaidFinder-windows/raid_solver.py", line 170, in searchInput
    return search(ec, pid, ivs)
    File "/private/var/mobile/Library/Mobile Documents/com~apple~CloudDocs/Downloads/RaidFinder-windows/raid_solver.py", line 137, in search
    seeds = find_seeds(ec, pid)
    File "/private/var/mobile/Library/Mobile Documents/com~apple~CloudDocs/Downloads/RaidFinder-windows/raid_solver.py", line 89, in find_seeds
    solver = z3.Solver()
    AttributeError: module 'z3' has no attribute 'Solver'

    posted in Pythonista read more

Internal error.

Oops! Looks like something went wrong!