writer
1,835
edits
Changes
Manuals/calci/z3console (view source)
Revision as of 09:04, 22 September 2017
, 09:04, 22 September 2017no edit summary
[[File:Capture10.JPG]]<br><br/>
[[File:Capture10.JPG]]<br><br/>
[[File:Capture11.JPG]]<br><br/>
[[File:Capture11.JPG]]<br><br/>
'''RUN z3 FILE'''<br>
'''RUN z3 FILE:'''<br>
5. 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>