Difference between revisions of "Manuals/calci/z3console"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
1. Create a folder '''z3''' in the local drive C. | 1. Create a folder '''z3''' in the local drive C. | ||
| − | *'''DOWNLOAD''' | + | *'''DOWNLOAD FILE''' |
| − | 2. Download '''z3compiler''' from http://downloads.zcubes.com/zconsole/z3compiler.zip to '''z3''' folder.<br>3. Extract the files in the same folder '''z3'''. | + | 2. Download '''z3compiler''' from http://downloads.zcubes.com/zconsole/z3compiler.zip to '''z3''' folder.<br> |
| − | *'''RUN '''z3compiler''' | + | 3. Extract the files in the same folder '''z3'''. |
| + | *'''INSTALL FILE''' | ||
| + | 4. Run the downloaded file '''z3compiler'''. <br> | ||
| + | *'''RUN z3 files''' | ||
| + | 5. Go to the '''z3''' folder and open a new '''text''' document.<br> | ||
| + | 6. Save the file using the extension '''.z3''' into the same directory('''z3''').<br> | ||
| + | For example test.z3.<br> | ||
| + | 7. Open '''Command Prompt''' and go to root C.<br> | ||
| + | 8. Run this program as '''z3compiler.exe test.z3''' as shown below. | ||
Revision as of 11:31, 20 September 2017
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. Go to the z3 folder and 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.