Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Plans for python3 #38

Open
karlbunch opened this issue Jan 4, 2021 · 3 comments
Open

Plans for python3 #38

karlbunch opened this issue Jan 4, 2021 · 3 comments

Comments

@karlbunch
Copy link

Are there plans to port to python3 ?

On debian:bullseye you can "pip install z3" but because it's under python3 you are greeted with:

z3 status
Traceback (most recent call last):
  File "/usr/local/bin/z3", line 5, in <module>
    from z3.snap import main
  File "/usr/local/lib/python3.9/dist-packages/z3/snap.py", line 14, in <module>
    from z3.config import get_config
  File "/usr/local/lib/python3.9/dist-packages/z3/config.py", line 1, in <module>
    import ConfigParser
ModuleNotFoundError: No module named 'ConfigParser'

This is due to the renaming of ConfigParser module to configparser, there could be other issues, I'm curious if anyone is planning to scrub z3 for python3 support?

@AHerridge
Copy link

I ran into this issue too. My solution was to install pip for python 2.7 (guide: https://linuxize.com/post/how-to-install-pip-on-ubuntu-20.04/) and then do "pip2 install z3".

@mrx23dot
Copy link

+1 for python3 support

@jgartrel
Copy link
Contributor

I submitted pull request #42 to cover this. Let's hope it gets merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants