Windows: Z3Exception(“init(Z3_LIBRARY_PATH) must be invoked before using Z3-python”)

This is a common error when invoking a 32 bit version of Z3 from a 64 bit version of python or the other way around.