writer
1,835
edits
Changes
Manuals/calci/z3console (view source)
Revision as of 09:17, 21 September 2017
, 09:17, 21 September 2017no edit summary
5. Save the file using the extension '''.z3''' into the same directory('''z3''').<br><br/>
5. Save the file using the extension '''.z3''' into the same directory('''z3''').<br><br/>
[[File:Capture5.JPG]]<br><br/>
[[File:Capture5.JPG]]<br><br/>
'''For example test.z3.'''<br>
'''For example test1.z3.'''<br>
[[File:Capture4.JPG]]<br><br/>
[[File:Capture4.JPG]]<br><br/>
6. Open '''Command Prompt''' and go to root C.<br>
6. Open '''Command Prompt''' and go to root C.<br>
[[File:Capture6.JPG]]<br><br/>
7. Run this program as '''z3compiler.exe test.z3''' as shown below.
7. Run this program as '''z3compiler.exe test.z3''' as shown below.