python3.9 error in finding the pyboolector module in constraint model

[EngRaff92]

After running I always get the following error:

I checked the requirement and ran the pip update along with the pip instal PyBoolector again with no success the error is still there. Any clue on how having this sorted ? Thanks

[cmarqu]

Did you maybe install pyboolector inside a virtual environment and run outside of it now, or the other way around?
Or did you install into a user location which is not in PYTHONPATH?

[mballance]

Hi @EngRaff92, that's strange -- especially because my understanding is that the 'pip install' operations completed without error. Can you confirm this is the case?
One difference I see vs my environment is that you appear to be running macOS and Python 3.9, while I'm running Linux and Python 3.6. I checked the Boolector build, and your combination should be supported (and pip should have failed if it wasn't supported).
I suggest the following diagnostic steps:

• I'd like to confirm whether the PyBoolector extension is actually being installed in your Python tree. Search for a shared library that has 'pyboolector' as part of the name in your Python installation. On Linux, I'd so something like find -name 'pyboolector'. You should see a shared-library file (ie .dyld extension, I think)
• If PyBoolector is installed, but there is an issue with loading it, I'd like to see if we can get additional debug output. Try running 'python3 -c "import pyboolector"'. The hope is that some additional error is reported in addition to 'no module...'

I also like @cmarqu's suggestion to double-check where pyboolector was installed (which Python install). Might be worth creating a dedicated virtual environment for the diagnostic steps above.

[EngRaff92]

I did the uninstall and I ran again the PyVSC installer. Before doing it I fired the pip install PyBoolector command and it seems like is running across many versions until it finds the correct one (not sure on what the correctness is based on) WARNING: Discarding https://files.pythonhosted.org/packages/b7/25/f3e324d177293245ebe8ea4eaec6cb3e352ddb8f09623906898b663aa437/PyBoolector-3.2.1.20200906.14.tar.gz#sha256=99b21d02e7d5944ab686f8fb8304ea71ed4a8651681af64be4ab9bad9aaa0544 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.13.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_d3eb3770cc3241e4a1cb24512d392bef/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_d3eb3770cc3241e4a1cb24512d392bef/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-ce1x3ggm
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_d3eb3770cc3241e4a1cb24512d392bef/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_d3eb3770cc3241e4a1cb24512d392bef/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/9b/17/1ae0c77e8172ce6b8e4f424ef6312a27b4427b777e022a80805c6f28a456/PyBoolector-3.2.1.20200906.13.tar.gz#sha256=5446acb71276aefe4b3979647e5c7fabbae5f5056c89aad3f95e18bc23fbc94c (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.12.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_0cdd292c481e4029ad9f4043a0b18ef9/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_0cdd292c481e4029ad9f4043a0b18ef9/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-e49koucf
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_0cdd292c481e4029ad9f4043a0b18ef9/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_0cdd292c481e4029ad9f4043a0b18ef9/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/cd/c3/1310cec7cc749c9582a4d03c0dd2c553754bda97a7e1458579ffb68a1b9e/PyBoolector-3.2.1.20200906.12.tar.gz#sha256=77f242f173c6b522c6dce2d23b4ab34876f7dd6aa65b8a7a610a9f2fe0c9f8e7 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.11.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_997766615dee4f1f9ba0c891bc4bb574/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_997766615dee4f1f9ba0c891bc4bb574/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-qcyxeep9
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_997766615dee4f1f9ba0c891bc4bb574/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_997766615dee4f1f9ba0c891bc4bb574/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/43/8f/5b44ba9d26d0d514db70ea40930a4354a9ce29334c495fb7c6a219bd6da4/PyBoolector-3.2.1.20200906.11.tar.gz#sha256=b81bd4fb43ee6037c93349d0e191ae20d13310894c6046d801f83db754a3caa3 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.10.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_44e784eb0a4f40fc9695ad02a5d59201/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_44e784eb0a4f40fc9695ad02a5d59201/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-x8hrbq11
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_44e784eb0a4f40fc9695ad02a5d59201/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_44e784eb0a4f40fc9695ad02a5d59201/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/6c/78/f787e4cbdb5dfcf9176d64e7f8b3d2129807679e6be5dfaed43f5a8b4da9/PyBoolector-3.2.1.20200906.10.tar.gz#sha256=b690eafd478aab2b547682dd09a842964aed74d722fb2f1d6f0b6e4a8ec5e849 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.9.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c2059c32a240433a82703e721ea8ea68/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c2059c32a240433a82703e721ea8ea68/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-qx4401rv
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c2059c32a240433a82703e721ea8ea68/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c2059c32a240433a82703e721ea8ea68/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/d4/d8/1c4002988902ba5aa67b73e63f7134d2ec0d95eb332432fdee8f4ef01999/PyBoolector-3.2.1.20200906.9.tar.gz#sha256=f2f2f4009690823e099bf2cca487d450a76b6293147c0cb27716698946317964 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.8.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_52fe507044b84b9cad1b4d94d1e113a2/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_52fe507044b84b9cad1b4d94d1e113a2/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-dppz3z_f
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_52fe507044b84b9cad1b4d94d1e113a2/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_52fe507044b84b9cad1b4d94d1e113a2/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/50/67/3ec85500825343a3e3a472961ae5cbf19de2236bf61a9e9fd08235fb2b6a/PyBoolector-3.2.1.20200906.8.tar.gz#sha256=bd9a292d67df8da9a9c3f42ed9c9bf0a7504fec895ed243f9c30e02221205c44 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.7.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_96c4d3799e024cc1958359084611892e/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_96c4d3799e024cc1958359084611892e/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-zy38lu0k
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_96c4d3799e024cc1958359084611892e/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_96c4d3799e024cc1958359084611892e/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/a2/6f/284905b68064cbf06667e7db164f2394ea335a302536314eed4c60e74fbd/PyBoolector-3.2.1.20200906.7.tar.gz#sha256=68aec60dded4b30cc46acf33b3f4ab658a736e64bc59cdb4f847e26a6a5f8fee (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.6.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_10368eababd842b0bf4da81a03a27eff/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_10368eababd842b0bf4da81a03a27eff/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-q__p2k02
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_10368eababd842b0bf4da81a03a27eff/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_10368eababd842b0bf4da81a03a27eff/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/ee/0e/4b9b85c2dd632c54b1bd422adf23f3d491f92d6ec964581dbc9df0ca6596/PyBoolector-3.2.1.20200906.6.tar.gz#sha256=32df707fa1e546d6e4a49816584cb7cf1ea760cfa8ba564f2750981605a9279d (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.5.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_82dc5a01e83342ecada05131def35ebe/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_82dc5a01e83342ecada05131def35ebe/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-0dsqo6kj
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_82dc5a01e83342ecada05131def35ebe/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_82dc5a01e83342ecada05131def35ebe/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/a6/f7/f0c5a37fdcb02390a6144e69da4dabd39a36cfba267772757417dde8d426/PyBoolector-3.2.1.20200906.5.tar.gz#sha256=9c245e0d5a67d437146088ebb3c453f9bf010b77dd370e135baef90a7ffe3a59 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.4.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_78e4b4f55bf84d0ab93a7e6f46e9773a/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_78e4b4f55bf84d0ab93a7e6f46e9773a/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-844ljfqu
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_78e4b4f55bf84d0ab93a7e6f46e9773a/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_78e4b4f55bf84d0ab93a7e6f46e9773a/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/71/5a/309428ac1f60e5758fcdd5c90479cbd574201954bb706bd8007b71dcaaf0/PyBoolector-3.2.1.20200906.4.tar.gz#sha256=4ea0c9c672928c16aff4f72cff02afcc9330288b8f5970cf40e252b4389b1141 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.3.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_cd0fcc8792684cfc9e2a3a2d94472360/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_cd0fcc8792684cfc9e2a3a2d94472360/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-825e6m7m
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_cd0fcc8792684cfc9e2a3a2d94472360/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_cd0fcc8792684cfc9e2a3a2d94472360/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/b0/fe/90e70948b3771a7b2aee41561218b070191484dddf161f30dd724f2e7a5c/PyBoolector-3.2.1.20200906.3.tar.gz#sha256=0f70587d03c0558a14001c6ff67e96a38b755d996398f48f2d5fe3ac4db48119 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.2.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_21b1a1a6d8834a758546f735b3d6cd4a/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_21b1a1a6d8834a758546f735b3d6cd4a/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-q5t64tfe
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_21b1a1a6d8834a758546f735b3d6cd4a/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_21b1a1a6d8834a758546f735b3d6cd4a/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/a3/a4/b4937df4e7d87ca0f77f5cbe51c8a4f59d0715a834a8cf2c3f8b087fe09d/PyBoolector-3.2.1.20200906.2.tar.gz#sha256=fe86c3a4b1664882e493c47e89548767374d6f8ba677f09115bb6743ac8f3c64 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200906.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_68072f65649a481688ae494841c4bdf7/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_68072f65649a481688ae494841c4bdf7/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-6xz5nnmh
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_68072f65649a481688ae494841c4bdf7/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_68072f65649a481688ae494841c4bdf7/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/0c/e3/843f66a72fb364c90de51f2a659163310637bd844b18bfe5ca8ce97f6b9c/PyBoolector-3.2.1.20200906.1.tar.gz#sha256=e58e4a98a72c81a1e802a43639f148d412b9de8d049f1a5098eec3a91bc3fdbf (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200826.2.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_137b45b12e234880ad88f6fe3fb5ef1f/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_137b45b12e234880ad88f6fe3fb5ef1f/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-qxdxkfxq
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_137b45b12e234880ad88f6fe3fb5ef1f/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_137b45b12e234880ad88f6fe3fb5ef1f/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/5a/55/5ff17792cf4683a92d26b635d59ed926d26f8143b0b8f141fe779d05cec6/PyBoolector-3.2.1.20200826.2.tar.gz#sha256=6a5bb4c96cce0fb6965d77a8a99cfb0839389e62a635cb4f1e96ddf393109d41 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200811.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c3e44f5b003746e68890446c2cb3096b/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c3e44f5b003746e68890446c2cb3096b/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-tynqte7v
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c3e44f5b003746e68890446c2cb3096b/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c3e44f5b003746e68890446c2cb3096b/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/e2/a9/a2fbda6031d78824c7701cb1a00feb27562903cb1abc17f54b2547ad6816/PyBoolector-3.2.1.20200811.1.tar.gz#sha256=d575e7432110739fd1750ebc4e89f20793f8965059f960c74b9a2e9f23b5f935 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200804.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_390f0b4e0b8a408da677080139257861/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_390f0b4e0b8a408da677080139257861/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-kv9nngw8
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_390f0b4e0b8a408da677080139257861/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_390f0b4e0b8a408da677080139257861/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/02/98/9a639760f69179fc6f3a37e6a75b2b0d9e79a27ab8764806b6d2592e7b82/PyBoolector-3.2.1.20200804.1.tar.gz#sha256=765fbf14163d163151211f2815db6e19708bcb91e1c87c3f248bb43d931a7f9f (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200731.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c52bdbe9d2814ebfb2e6a212cdba2b70/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c52bdbe9d2814ebfb2e6a212cdba2b70/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-_uxiy6ya
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c52bdbe9d2814ebfb2e6a212cdba2b70/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c52bdbe9d2814ebfb2e6a212cdba2b70/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/bc/c3/a08e7e3d1821d15a3cd58ac789ea1a38292c752d8ddb805cd7c655ceddd0/PyBoolector-3.2.1.20200731.1.tar.gz#sha256=e7266fc1b09b79ff7bc506ccc30d6d9a50c834f92f7567cee2dcdbafb6ef1b70 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200720.2.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a215f4100b2441e38ff219400060849c/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a215f4100b2441e38ff219400060849c/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-s0cxq5tu
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a215f4100b2441e38ff219400060849c/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a215f4100b2441e38ff219400060849c/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/83/b6/23dee14439843c6b8be1e38c3a89c453ae5adda2270b4d2667d44b0a0983/PyBoolector-3.2.1.20200720.2.tar.gz#sha256=417b3222fbbc67063d4ecd8b796fc3e5bbbada55d06034e1752529acedf5fe6d (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200714.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c1416577ae0c47de84411c1b973bdf65/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c1416577ae0c47de84411c1b973bdf65/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-ycxt1h_3
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c1416577ae0c47de84411c1b973bdf65/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c1416577ae0c47de84411c1b973bdf65/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/cf/0b/de6f7fa5f4f0df4abc48e5d48b1f7836fe3b472048c3133a8ae9c1664a25/PyBoolector-3.2.1.20200714.1.tar.gz#sha256=1602e1fa0e78b03c89ad248b22fb8f9c8d2bceed174c1eda35ee23a4f3716b28 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200711.3.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1efe99915b314d648a337b00cb763e8e/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1efe99915b314d648a337b00cb763e8e/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-8cxqpnt4
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1efe99915b314d648a337b00cb763e8e/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1efe99915b314d648a337b00cb763e8e/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/56/e4/75dac36c3ae08ca7859af8b00cf879e4e1d6a2328d22d5c95195bfee4633/PyBoolector-3.2.1.20200711.3.tar.gz#sha256=b707a2291c233a10e23a92009c90f1800b681104ae7e9f2d1451490a6bc8de30 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200711.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_88e83c6cdb70413d822cbd4a6c9474e5/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_88e83c6cdb70413d822cbd4a6c9474e5/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-rm85usgc
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_88e83c6cdb70413d822cbd4a6c9474e5/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_88e83c6cdb70413d822cbd4a6c9474e5/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/9d/09/7ffd537da7f10d29a22f8d9760bcc5f306e01eed3a385a06e0e5d78333b4/PyBoolector-3.2.1.20200711.1.tar.gz#sha256=c21d46e2298fa9addd0ef15d3c99cdc1304051bcf63525e89bde6d43a5fa6ab0 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200616.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a86118ff11d14f46adfc8bbcb5b30b0b/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a86118ff11d14f46adfc8bbcb5b30b0b/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-ghvrp5mw
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a86118ff11d14f46adfc8bbcb5b30b0b/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a86118ff11d14f46adfc8bbcb5b30b0b/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/e1/06/702eeff1392b8487915b8fb84732fbcb608c0565ff441a3d1afa31fbb7d0/PyBoolector-3.2.1.20200616.1.tar.gz#sha256=e2adf6cd6ef25389a1d30be96a3782aa8a5658196f30d0f23450e027b69be418 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200615.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1febcd67509f468688d1f8e921ed1ab2/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1febcd67509f468688d1f8e921ed1ab2/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-11b7iz8i
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1febcd67509f468688d1f8e921ed1ab2/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1febcd67509f468688d1f8e921ed1ab2/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/25/53/9b61631106c5f53fee31291004522eff908ff5ddde87b20f49cb936aaf81/PyBoolector-3.2.1.20200615.1.tar.gz#sha256=2688ebc591e9887ae2803435e36c87a6257abd063e8a9fe2595c2fd5996e4167 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200521.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_61bd64bfa0e04148ad8c1ad13dc8d461/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_61bd64bfa0e04148ad8c1ad13dc8d461/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-9t_4tmc2
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_61bd64bfa0e04148ad8c1ad13dc8d461/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_61bd64bfa0e04148ad8c1ad13dc8d461/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/c9/23/0579b6f5e5f8907f55a11c7f91b185f1f732ddb9d98e1c02fc5c85391726/PyBoolector-3.2.1.20200521.1.tar.gz#sha256=f0d7cf4c18d1ab4bf56807f54785fb399ea406469378935b5f4bf6fe13a67437 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200520.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_92099fd4a63e408ebb1d6b56b801345c/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_92099fd4a63e408ebb1d6b56b801345c/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-1opfnl79
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_92099fd4a63e408ebb1d6b56b801345c/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_92099fd4a63e408ebb1d6b56b801345c/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/90/1a/427363cc0a0894b63aae16ce6693e1b854f492f7d06e398caa8b94d88f1c/PyBoolector-3.2.1.20200520.1.tar.gz#sha256=5eb5cee03fe2cd5c43fd2119413c595cbcf193252b5d243b1cc759bfd6bfd664 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200429.2.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_22a117eb26994e0897241b127acbf94f/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_22a117eb26994e0897241b127acbf94f/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-xzcry7gu
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_22a117eb26994e0897241b127acbf94f/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_22a117eb26994e0897241b127acbf94f/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/9e/6a/237f48683386be31c77b849f84032593615e396652854b0fc33812163b02/PyBoolector-3.2.1.20200429.2.tar.gz#sha256=211f8dff567c7923e5acb1da409f77ba7d499aecbbbfeb58670209b3b2c77531 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200429.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_ebee3fcbc3d642748fc0ef6cfc4abe45/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_ebee3fcbc3d642748fc0ef6cfc4abe45/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-hxe1asxq
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_ebee3fcbc3d642748fc0ef6cfc4abe45/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_ebee3fcbc3d642748fc0ef6cfc4abe45/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/33/ab/d17844b6f905821b119b18e2e353015d584d907adbfb003792e199c884e2/PyBoolector-3.2.1.20200429.1.tar.gz#sha256=8aa42dcc6beeebbfd0fc72a294f07323276d2495b90c60cf8893b2b8c916ca4b (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200423.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_e3146bc2cfef41ef88510e071cc98bbb/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_e3146bc2cfef41ef88510e071cc98bbb/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-_csepha4
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_e3146bc2cfef41ef88510e071cc98bbb/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_e3146bc2cfef41ef88510e071cc98bbb/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/38/0d/ecf58b161dc4ddb48d928b0f050681fe0469fc3a840f52f6bcdcf41c6583/PyBoolector-3.2.1.20200423.1.tar.gz#sha256=0bbdf59efc2639195750deb915bee688c9c702ad02f18c12799acbd39d211cb7 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200421.2.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7228db57e0d0497ca00bfebb9409f5bd/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7228db57e0d0497ca00bfebb9409f5bd/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-b0b_yjy2
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7228db57e0d0497ca00bfebb9409f5bd/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7228db57e0d0497ca00bfebb9409f5bd/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/0a/81/f60cf49abf2b54e6576898b5524c2dc796ec32e3af2bd8f10ede29e10334/PyBoolector-3.2.1.20200421.2.tar.gz#sha256=a80b071abc9058a1edf7ebff6628047063ee1ce311edff4782cd0dcb01ebcdc4 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200415.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_2a55a5ea652c425c9fcab3830dc2f9ed/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_2a55a5ea652c425c9fcab3830dc2f9ed/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-giem1oz9
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_2a55a5ea652c425c9fcab3830dc2f9ed/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_2a55a5ea652c425c9fcab3830dc2f9ed/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/32/e8/c33d6a541f26f375c9ea88610df38619eb9b05c79476637412f2e26b363e/PyBoolector-3.2.1.20200415.1.tar.gz#sha256=ccb78a517d1d8194374f6d6b15cd084d5a2ddc0c22da81f7d803dcb159f4beb1 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200414.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_da5cb6d813d145289961fc1393c3c841/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_da5cb6d813d145289961fc1393c3c841/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-53__s9xq
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_da5cb6d813d145289961fc1393c3c841/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_da5cb6d813d145289961fc1393c3c841/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/23/27/05904544b26b218d9133f6933e46dd795cef04110c9c7e9f14b61e95c195/PyBoolector-3.2.1.20200414.1.tar.gz#sha256=2225dc237bcd4b8f7ad9c5334806a7942fe36f980bce8006273e2e56417c7094 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200413.1.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_858af22fb101481d8397564c24c76e19/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_858af22fb101481d8397564c24c76e19/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-xc2p69dh
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_858af22fb101481d8397564c24c76e19/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_858af22fb101481d8397564c24c76e19/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/dc/d8/ca494f5acc01eee7a2169545caf1f68ebc981e49c3b69d5d52f56a909afb/PyBoolector-3.2.1.20200413.1.tar.gz#sha256=c0e655f657203b2243bb89a8c86099935c1f4dd368e63830d54fb2b9b736d0c5 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.1.20200410.3.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7057f058451e4559a956a05a4f5f30e5/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7057f058451e4559a956a05a4f5f30e5/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-e5nhrfb4
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7057f058451e4559a956a05a4f5f30e5/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7057f058451e4559a956a05a4f5f30e5/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/e9/9b/8315c29e56f9f8474080fa72b02efd1f65eea3f75aab2f842f789bd0149d/PyBoolector-3.2.1.20200410.3.tar.gz#sha256=7081e9ff8d791f9313e0fbb5540cd33336b3dd0d277aa5495153dcd8f6568d95 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.2.0.20200301.4.tar.gz (20 kB)
Preparing metadata (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_30078b01aa6f44fda951ef729dc34470/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_30078b01aa6f44fda951ef729dc34470/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-nicy8nmv
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_30078b01aa6f44fda951ef729dc34470/
Complete output (5 lines):
Traceback (most recent call last):
File "", line 1, in
File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_30078b01aa6f44fda951ef729dc34470/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/ec/23/f499c92ddfa1493d23dce0c8bbee2047a3c88b8b6bf3843a4d3ce8b1720a/PyBoolector-3.2.0.20200301.4.tar.gz#sha256=ee1e7f8b1cb1f71fba3c8265e7ea8d7cf8bc504195477ad86032d45761c43175 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output.
Using cached PyBoolector-3.0.0.20191119.2.tar.gz (20 kB)
Preparing metadata (setup.py) ... done
Building wheels for collected packages: PyBoolector
Building wheel for PyBoolector (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: /opt/homebrew/opt/python@3.9/bin/python3.9 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_84cdf9bff71340bca0f163fa0ed0bc76/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_84cdf9bff71340bca0f163fa0ed0bc76/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' bdist_wheel -d /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-wheel-5ch_l4at
cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_84cdf9bff71340bca0f163fa0ed0bc76/
Complete output (33 lines):
running bdist_wheel
running build
running build_ext
building 'pyboolector' extension
creating build
creating build/temp.macosx-11-arm64-3.9
creating build/temp.macosx-11-arm64-3.9/src
clang -Wno-unused-result -Wsign-compare -Wunreachable-code -fno-common -dynamic -DNDEBUG -g -fwrapv -O3 -Wall -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk -I/usr/include/boolector -I./src -I/opt/homebrew/include -I/opt/homebrew/opt/openssl@1.1/include -I/opt/homebrew/opt/sqlite/include -I/opt/homebrew/opt/python@3.9/Frameworks/Python.framework/Versions/3.9/include/python3.9 -c src/boolector_py.c -o build/temp.macosx-11-arm64-3.9/src/boolector_py.o
In file included from src/boolector_py.c:9:
./src/boolector_py.h:12:10: fatal error: 'boolector.h' file not found
#include "boolector.h"
^~~~~~~~~~~~~
1 error generated.
Error compiling module, falling back to pure Python
/opt/homebrew/lib/python3.9/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools.
warnings.warn(
installing to build/bdist.macosx-11-arm64/wheel
running install
running install_lib
warning: install_lib: 'build/lib.macosx-11-arm64-3.9' does not exist -- no Python modules to install

running install_egg_info
running egg_info
creating PyBoolector.egg-info
writing PyBoolector.egg-info/PKG-INFO
writing dependency_links to PyBoolector.egg-info/dependency_links.txt
writing top-level names to PyBoolector.egg-info/top_level.txt
writing manifest file 'PyBoolector.egg-info/SOURCES.txt'
reading manifest file 'PyBoolector.egg-info/SOURCES.txt'
writing manifest file 'PyBoolector.egg-info/SOURCES.txt'
Copying PyBoolector.egg-info to build/bdist.macosx-11-arm64/wheel/PyBoolector-3.0.0.20191119.2-py3.9.egg-info
running install_scripts
error: [Errno 2] No such file or directory: 'LICENSE'

ERROR: Failed building wheel for PyBoolector
Running setup.py clean for PyBoolector
Failed to build PyBoolector
Installing collected packages: PyBoolector
Running setup.py install for PyBoolector ... done
DEPRECATION: PyBoolector was installed using the legacy 'setup.py install' method, because a wheel could not be built for it. A possible replacement is to fix the wheel build issue reported above. Discussion can be found at pypa/pip#8368
Successfully installed PyBoolector-3.0.0.20191119.2

Sorry the log was pretty huge I just cutshort it. The same error is fired while running the PYVSC installation.

python3.9 -c "import pyboolector"
Traceback (most recent call last):
File "", line 1, in
ModuleNotFoundError: No module named 'pyboolector'

Anyway even if it successfully installed a specific version on the wheel seems like the module name is not found. Probably something to do with the installation since I'm running the C code on Mac which could lead to issues. Any clue ? Not sure if a virtual env will help here

[mballance]

Oh... Hmm... The errors produced are, to put it mildly, difficult to understand. I think I see the issue, though. You're running Arm-architecture macOS, which isn't yet supported by GitHub actions. Unfortunately, the PyBoolector package can really only be installed from PyPi as a binary wheel.
It should be possible to locally install Boolector and locally build the Python package for it. I'll be honest, I don't know what (if any) issues you might find there, since I don't believe Boolector is currently in use on Arm architecture platforms. Is this a path you would consider taking?

[EngRaff92]

I installed Boolector by building it from the git repo without any problem at moment. The main obstacle I'm struggling with is how to avoid installing PyBoolector from PYCSV installation to avoid it to be picked up and let it use the Boolector (I think PYBOOLECTOR is still needed due to the interface between C code and Python) am I right ? any additional clue?

[EngRaff92]

adding the ticket as reference Boolector/boolector#180

[mballance]

@EngRaff92, I think what you can do is to install pyVSC with --no-deps and add the Boolector Python package (I assume you build Boolector with the Python interface enabled) on PYTHONPATH. Before attempting to get PyVSC to work, I'd recommend ensuring that you can properly load pyboolector using a simple test script.

[EngRaff92]

Hello all, made quite few progresses today:

1. Ran the following instruction in the boolector repo ./configure.sh --python && cd build && make
2. linked the /build/lib in the PYTHONPATH
3. then I ran the following command: python2.7 -c "import pyboolector" it works I tried the api examples with python2.7 and it works fine.
4. Then I ran the same command with python3/3.9 and it gives me out the following error:

5. the I ran again the step 1 with --py3 option it looks like it then choose to go for python3 opts in the CMAKE 6. I ran the step 4 again and I got the same error 7. I ran as well a py example using the pyvsc and I'm getting the following error:

Pretty stuck now here since I need to use py3.9 or py3 since everything is setup on this version and I really cannot go back to the py2.7. Thanks for the support

[EngRaff92]

OK found the issue why is not working on py3:

the following is the Python2 configuration while running the configure:

This is instead the py3:

I can clearly see some progresses done further on the --python option compared with the py3 option, moreover the --py3 result in Python bindings: no which explains the error.

Still have no clue at this point on how to move towards. (the not found modules are in since I installed it using brew strangely tho is not picking up all of them). Thanks again

[mballance]

Hate to ask an "is it plugged-in" question, but can you confirm that the configure command for python3 includes both --python and --py3? Also, can you confirm that you remove the 'build' directory created by the configure command? I know cmake caches some stuff, and you'll want to ensure a completely-clean build.

[EngRaff92]

Sorry yes it is exactly what I was about to add, this is the result got by using both --python and --py3:

Yes to answer your question I removed the build folder before running the configure again

[mballance]

Hmm... Sadly Google isn't helping much here...
In looking at the cmake packages used to find the Python interpreter, it appears that the 'FindPythonInterp' that Boolector uses is deprecated.

I'm wondering if explicitly setting PYTHON_LIBRARIES and PYTHON_INCLUDE_DIRS would get you past this issue. You'll need to hack up the end of the 'configure.sh' script to add the appropriate -DPYTHON_LIBRARIES= and -DPYTHON_INCLUDE_DIRS= options to cmake_opts. It appears that PYTHON_LIBRARIES should point to the 3.9.9 .dylib.

[EngRaff92]

I was hacking around the Cmakelist.txt with no result at moment, I will go for your suggestions as well. Thanks again

[EngRaff92]

I added this line after running the

python3.9-config --includes

this hardcoded line fixes the issues now the BIND is done properly and I'm able to run the following command without problems:

python3.9 -c "import vsc"
python3.9 -c "import pyboolector"

and run the following simple python code:

import sys
import random
import vsc

@vsc.randobj
class RandByte:
    def __init__(self):
        self.byte = vsc.rand_bit_t(8)

    def __str__(self):
        return("byte = %d".format(self.byte))

along with the api examples provided by boolector. Thanks for the support really I appreciate it

[EngRaff92]

I think I can close, I will experiment all the features of PYVSC and see if missing something in the installation (hope not)

[EngRaff92]

Last question before closing, is the pyboolector the only dep? since i ran the pip install with no deps I'm wondering if could have missed something else

[EngRaff92]

I've used quite a while unfortunately setting the PYTHONPATH to be pointing to the boo lector sadly causes instead PYTEST to fail with the following error:

'''
Traceback (most recent call last):
File "/opt/homebrew/bin/pytest", line 8, in
sys.exit(console_main())
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 187, in console_main
code = main()
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 145, in main
config = _prepareconfig(args, plugins)
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 324, in _prepareconfig
config = pluginmanager.hook.pytest_cmdline_parse(
File "/opt/homebrew/lib/python3.9/site-packages/pluggy/hooks.py", line 286, in call
return self._hookexec(self, self.get_hookimpls(), kwargs)
File "/opt/homebrew/lib/python3.9/site-packages/pluggy/manager.py", line 93, in _hookexec
return self._inner_hookexec(hook, methods, kwargs)
File "/opt/homebrew/lib/python3.9/site-packages/pluggy/manager.py", line 84, in
self._inner_hookexec = lambda hook, methods, kwargs: hook.multicall(
File "/opt/homebrew/lib/python3.9/site-packages/pluggy/callers.py", line 203, in _multicall
gen.send(outcome)
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/helpconfig.py", line 102, in pytest_cmdline_parse
config: Config = outcome.get_result()
File "/opt/homebrew/lib/python3.9/site-packages/pluggy/callers.py", line 80, in get_result
raise ex[1].with_traceback(ex[2])
File "/opt/homebrew/lib/python3.9/site-packages/pluggy/callers.py", line 187, in _multicall
res = hook_impl.function(*args)
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 1016, in pytest_cmdline_parse
self.parse(args)
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 1304, in parse
self._preparse(args, addopts=addopts)
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 1172, in _preparse
self._initini(args)
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 1088, in _initini
ns, unknown_args = self._parser.parse_known_and_unknown_args(
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/argparsing.py", line 161, in parse_known_and_unknown_args
optparser = self._getparser()
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/argparsing.py", line 119, in _getparser
optparser = MyOptionParser(self, self.extra_info, prog=self.prog)
File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/argparsing.py", line 395, in init
super().init(
TypeError: init() got an unexpected keyword argument 'allow_abbrev
'''

so seems like cannot use VSC and PYTEST together for the time being. I fixed it by removing the PYTHONPATH I set.

Any progress on getting boolector running on MACOS ?

regards