Which IDE can be used to import z3 project?

Jul 9, 2013 at 5:11 PM
 I am a green hand  for z3. When I downloaded 3 project and builded it, I found it difficult to understand it just with text editor. And I tried to import it to Visual Studio in many ways  but failed. I really want to know which IDE can be easily used to import z3 project or how to import it  into Visual Studio? 
Jul 10, 2013 at 7:20 AM
You can add the option --vs while configuring the project:
python scripts\mk_make.py --vs
This will create a file called z3.vcxproj in the build directory. This is a Visual Studio projcect file and it can be opened in Visual Studio, which will create a solution around it. Of course, building this project will create z3.exe.

Hope that helps.
Nov 14, 2013 at 1:43 PM
I'm trying to use this answer to install z3 in Visual Studio 2012, but when I write
python scripts\mk_make.py --vs
in the command prompt of VS2012,
it says that the command python is not valid.
Pyhton is installed in my computer, but I think that is not embedded in VS2012,
should it be embedded? How could I embed it?
Nov 14, 2013 at 4:29 PM
Python needs to be in your system path for this command to work. See, e.g., this post which explains the process in detail.

I'm not absolutely positive, but I think it will also work if you give the exact path of your python executable on the command line, for example:
"c:\Python27\python.exe" scripts\mk_make.py --vs