Difference between revisions of "Manuals/calci/z3console"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
1. Create a folder '''z3''' in the local drive C. | 1. Create a folder '''z3''' in the local drive C. | ||
*'''DOWNLOAD''' | *'''DOWNLOAD''' | ||
| − | 2. Download '''z3compiler''' from http://downloads.zcubes.com/zconsole/z3compiler.zip to '''z3''' folder. | + | 2. Download '''z3compiler''' from http://downloads.zcubes.com/zconsole/z3compiler.zip to '''z3''' folder.<br><br/>3. Extract the files in the same folder '''z3'''. |
| − | |||
| − | 3. Extract the files in the same folder '''z3'''. | ||
Revision as of 11:17, 20 September 2017
z3console
STEPS TO INSTALL Z3CONSOLE
1. Create a folder z3 in the local drive C.
- DOWNLOAD
2. Download z3compiler from http://downloads.zcubes.com/zconsole/z3compiler.zip to z3 folder.
3. Extract the files in the same folder z3.