Hello, I'm trying to look at the the HelloPackage for having my first steps on Z3 understanding (fresh CVS). I got and error in IHelloModule.py ... from Interface import Interface ... =>> (ImportError : No module named Interface). Is it me and my conf or does HelloPackage breaks after the renaming ? Happy christmas. Didier