common module not found for python interface (when importing z3util)

[g2graman]

After cloning the repository and a successful build, I moved a script named get_proof.py into the build directory and invoked it. Note that my only imports from get_proof.py are

from z3 import *
from z3util import *

but even after a successful build, importing z3util fails. The following is the traceback from invoking get_proof.py:

$ python get_proof.py
Traceback (most recent call last):
  File "get_proof.py", line 2, in <module>
    from z3util import *
  File ".../z3/build/z3util.py", line 6, in <module>
    import common as CM
ImportError: No module named common

[g2graman]

Update:

$ find . -name '*common*'
./z3/build-dist/util/common_msgs.o
./z3/build-dist/util/common_msgs.h.node
./z3/build/util/common_msgs.o
./z3/build/util/common_msgs.h.node
./z3/src/util/common_msgs.cpp
./z3/src/util/common_msgs.h

Conclusion: the repository is missing the module. After searching for a bit I think I've found it, since the author's name, as cited by @leodemoura in this StackOverflow answer, matches that of this google code repository. So, I believe the common module is really the same as this file from the last link, before it was renamed to vu_common.py

In case anybody is reading this in hopes of a quick fix, here is my build script:

#!/bin/bash

Z3_BUILD_DIR='z3'
if [[ -z "${Z3_BUILD_DIR-}" ]] || [ ! -d "$Z3_BUILD_DIR" ]; then
    git clone https://github.com/Z3Prover/z3.git
    cd z3

    CXX=clang++ CC=clang python scripts/mk_make.py --prefix=`readlink -f ~`
    cd build
    make

    Z3_BUILD_DIR=$(pwd)
    export Z3_BUILD_DIR=$Z3_BUILD_DIR

    curl -o common.py https://raw.githubusercontent.com/g2graman/common-python-vu/master/vu_common.py
    cd ../..
fi

Note the use of curl near the bottom. Its purpose is to download the necessary module from my mirror of the google code repository and save it to common.py

[wintersteiger]

Thanks for figuring out all the details of this problem! I removed the external import by adding the vset function and it now works fine for me. The fix is currently only available in the contrib branch, but it will be import into master soon.