Manuals/calci/z3console

From ZCubes Wiki
Revision as of 03:22, 21 September 2017 by Sahiti (talk | contribs) (→‎Description)
Jump to navigation Jump to search
z3console


Description

  • INSTALLATION
  • EXAMPLE

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



Retrieved from "http://wiki.zcubes.com/index.php?title=Manuals/calci/z3console&oldid=208958"