title: Install Z3 in Windows
body: <p>I did download the file  Z3 4.3.0 for Windows (64 bits) that is on site: <a href="http://z3.codeplex.com/releases" rel="nofollow">http://z3.codeplex.com/releases</a>.</p>
  
  <p>When I try to run the file z3.exe which is in the bin folder. Prompt appears and disappears immediately. I needed to know how to run a file written in z3 through z3.exe file. </p>
  
  <p>How can I do this? Or what is the best option to run z3 through Java?</p>