Difference between revisions of "Manuals/calci/z3console"
Jump to navigation
Jump to search
| Line 10: | Line 10: | ||
'''INSTALL AND RUN z3 FILE'''<br> | '''INSTALL AND RUN z3 FILE'''<br> | ||
4. Open a new '''text''' document.<br> | 4. Open a new '''text''' document.<br> | ||
| − | 5. Save the file using the extension '''.z3''' into the same directory('''z3''').<br | + | 5. Save the file using the extension '''.z3''' into the same directory('''z3''').<br> |
[[File:Capture5.JPG]]<br><br/> | [[File:Capture5.JPG]]<br><br/> | ||
'''For example test1.z3.'''<br> | '''For example test1.z3.'''<br> | ||
| Line 16: | Line 16: | ||
6. Open '''Command Prompt''' and go to root C.<br> | 6. Open '''Command Prompt''' and go to root C.<br> | ||
[[File:Capture6.JPG]]<br><br/> | [[File:Capture6.JPG]]<br><br/> | ||
| − | 7. Run this program as '''z3compiler.exe test.z3''' as shown below. | + | 7. Run this program as '''z3compiler.exe test.z3''' as shown below.<br> |
| + | [[File:Capture7.JPG]]<br><br/> | ||
Revision as of 03:20, 21 September 2017
z3console
STEPS TO INSTALL Z3CONSOLE
1. Create a folder "z3" in the local drive C.
DOWNLOAD FILE
2. Download z3compiler from http://downloads.zcubes.com/zconsole/z3compiler.zip.
3. Extract the files into the same folder z3.
INSTALL AND RUN z3 FILE
4. Open a new text document.
5. Save the file using the extension .z3 into the same directory(z3).
For example test1.z3.
6. Open Command Prompt and go to root C.
7. Run this program as z3compiler.exe test.z3 as shown below.
