Fail to execute the

May 26, 2014 at 9:39 AM

I'm trying to use z3 for my project. What I has done is:
Following the instructions here:

When I tried to using python to execute the problem was roused.The detail information was:FIle"D:/Git/z3/scripts/",raise MKException("Python bindings directory '%s‘ ,does not exist"% full)
mk_exception .MKException:"Python bindings direectory 'src\api\python'does not exist"

So can you help me to solve the problem?
May 29, 2014 at 1:36 PM
This sounds like your copy of the sources is incomplete. Does the directory D:/Git/z3/src/api/python exist?