Changes

[[File:Capture2.JPG]]<br><br/>

[[File:Capture2.JPG]]<br><br/>

[[File:Capture3.JPG]]<br><br/>

[[File:Capture3.JPG]]<br><br/>

'''INSTALL FILE'''<br>

'''INSTALL AND RUN z3 FILE'''<br>

4.  Run the downloaded file '''z3compiler'''. <br><br/>

4.  Open a new '''text''' document.<br>

5.  Save the file using the extension '''.z3''' into the same directory('''z3''').<br><br/>

5.  Open a new '''text''' document.<br>

[[File:Capture5.JPG]]<br><br/>

6.  Save the file using the extension '''.z3''' into the same directory('''z3''').<br>

For example test.z3.<br>

For example test.z3.<br>

7.  Open '''Command Prompt''' and go to root C.<br>

6.  Open '''Command Prompt''' and go to root C.<br>

8.  Run this program as '''z3compiler.exe test.z3''' as shown below.

7.  Run this program as '''z3compiler.exe test.z3''' as shown below.