Manuals/calci/z3console

From ZCubes Wiki
Revision as of 04:21, 21 September 2017 by Sahiti (talk | contribs)
Jump to navigation Jump to search
z3console


Description

  • INSTALL
  • EXAMPLE

STEPS TO INSTALL Z3CONSOLE
1. Create a folder "z3" in the local drive C.
Capturea.JPG

DOWNLOAD FILE
2. Download z3compiler from http://downloads.zcubes.com/zconsole/z3compiler.zip.
3. Extract the files into the same folder z3.
Capture2.JPG

Capture3.JPG

INSTALL AND RUN z3 FILE
4. Open a new text document.
5. Save the file using the extension .z3 into the same directory(z3).
Capture5.JPG

For example test1.z3.
Capture4.JPG

6. Open Command Prompt and go to root C.
Capture6.JPG

7. Run this program as z3compiler.exe test.z3 as shown below.
Capture7.JPG