Manuals/calci/z3console

From ZCubes Wiki
Revision as of 12:36, 20 September 2017 by Sahiti (talk | contribs)
Jump to navigation Jump to search
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 to z3 folder.
3. Extract the files in the same folder z3.

INSTALL FILE
4. Run the downloaded file z3compiler.

RUN z3 files
5. Open a new text document.
6. Save the file using the extension .z3 into the same directory(z3).
For example test.z3.
7. Open Command Prompt and go to root C.
8. Run this program as z3compiler.exe test.z3 as shown below.