Manuals/calci/z3console

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.
3. Extract the files into the same folder z3.





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



For example test.z3.
6. Open Command Prompt and go to root C.
7. Run this program as z3compiler.exe test.z3 as shown below.