writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 5:
Line 5: − + − + − + − +
Manuals/calci/z3console (view source)
Revision as of 17:34, 20 September 2017
, 17:34, 20 September 2017no edit summary
'''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'''.<br>
3. Extract the files in the same folder '''z3'''.<br><br/>
'''INSTALL FILE'''<br><br/>
'''INSTALL FILE'''<br>
4. Run the downloaded file '''z3compiler'''. <br>
4. Run the downloaded file '''z3compiler'''. <br><br/>
'''RUN z3 files'''<br><br/>
'''RUN z3 files'''<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>