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.
Error creating thumbnail: Unable to save thumbnail to destination
DOWNLOAD FILE
2. Download z3compiler from http://downloads.zcubes.com/zconsole/z3compiler.zip.
3. Extract the files into the same folder z3.
Error creating thumbnail: Unable to save thumbnail to destination
Error creating thumbnail: Unable to save thumbnail to destination
INSTALL AND RUN z3 FILE
4. Open a new text document.
5. Save the file using the extension .z3 into the same directory(z3).
Error creating thumbnail: Unable to save thumbnail to destination
For example test1.z3.
Error creating thumbnail: Unable to save thumbnail to destination
6. Open Command Prompt and go to root C.
Error creating thumbnail: Unable to save thumbnail to destination
7. Run this program as z3compiler.exe test.z3 as shown below.
Error creating thumbnail: Unable to save thumbnail to destination