writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 2:
Line 2: − + − + − *'''INSTALL FILE'''+ − *'''RUN z3 files'''+
Manuals/calci/z3console (view source)
Revision as of 17:33, 20 September 2017
, 17:33, 20 September 2017no edit summary
STEPS TO INSTALL '''Z3CONSOLE'''
STEPS TO INSTALL '''Z3CONSOLE'''
1. Create a folder '''"z3"''' in the local drive C.<br>
1. Create a folder '''"z3"''' in the local drive C.<br><br/>
'''DOWNLOAD FILE'''<br>
'''DOWNLOAD FILE'''<br>
2. Download '''z3compiler''' from http://downloads.zcubes.com/zconsole/z3compiler.zip to '''z3''' folder.<br>
2. Download '''z3compiler''' from http://downloads.zcubes.com/zconsole/z3compiler.zip to '''z3''' folder.<br>
3. Extract the files in the same folder '''z3'''.
3. Extract the files in the same folder '''z3'''.<br>
'''INSTALL FILE'''<br><br/>
4. Run the downloaded file '''z3compiler'''. <br>
4. Run the downloaded file '''z3compiler'''. <br>
'''RUN z3 files'''<br><br/>
5. Go to the '''z3''' folder and open a new '''text''' document.<br>
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>
6. Save the file using the extension '''.z3''' into the same directory('''z3''').<br>