writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 8:
Line 8: − +
Manuals/calci/z3console (view source)
Revision as of 17:36, 20 September 2017
, 17:36, 20 September 2017no edit summary
4. Run the downloaded file '''z3compiler'''. <br><br/>
4. Run the downloaded file '''z3compiler'''. <br><br/>
'''RUN z3 files'''<br>
'''RUN z3 files'''<br>
5. Go to the '''z3''' folder and open a new '''text''' document.<br>
5. 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>
For example test.z3.<br>
For example test.z3.<br>
7. Open '''Command Prompt''' and go to root C.<br>
7. Open '''Command Prompt''' and go to root C.<br>
8. Run this program as '''z3compiler.exe test.z3''' as shown below.
8. Run this program as '''z3compiler.exe test.z3''' as shown below.