WSL安装z3报错ModuleNotFound
WSL需要自定义PYTHONPATH
在.~/.bashrc中加入
export PYTHONPAYH=(your path to z3)/build:(your path to z3)/build/python:$PYTHONPATH
WSL安装z3报错ModuleNotFound
WSL需要自定义PYTHONPATH
在.~/.bashrc中加入
export PYTHONPAYH=(your path to z3)/build:(your path to z3)/build/python:$PYTHONPATH