Difference between revisions of "Manuals/calci/z3console"
| Line 16: | Line 16: | ||
[[File:Capture10.JPG]]<br><br/> | [[File:Capture10.JPG]]<br><br/> | ||
[[File:Capture11.JPG]]<br><br/> | [[File:Capture11.JPG]]<br><br/> | ||
| − | '''RUN z3 FILE'''<br> | + | '''RUN z3 FILE:'''<br> |
5. Open a new '''text''' document.<br> | 5. Open a new '''text''' document.<br> | ||
6. Save the file using the extension '''.z3''' into the same directory('''z3''').<br> | 6. Save the file using the extension '''.z3''' into the same directory('''z3''').<br> | ||
Revision as of 03:04, 22 September 2017
Description
- INSTALLATION
- EXAMPLE
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 FILE:
4. Once you extract the file in "z3" folder, run it as an administrator.
RUN z3 FILE:
5. Open a new text document.
6. Save the file using the extension .z3 into the same directory(z3).
For example test1.z3.
7. Open Command Prompt and go to root C.
8. Run this program as z3compiler.exe test1.z3 as shown below.
EXAMPLE
Sum of two Numbers
a. Open test1.z3 file using Notepad.
b. Write the following program into it and save the file as shown below:
c. Open Command Prompt and go to root C.
d. Run this program as z3compiler.exe test1.z3 as shown below.
