Manuals/calci/z3console

z3console

Description

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

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 test1.z3 as shown below.

Error creating thumbnail: Unable to save thumbnail to destination

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:

Error creating thumbnail: Unable to save thumbnail to destination

c. Open Command Prompt and go to root C. d. Run this program as z3compiler.exe test1.z3 as shown below.