writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 14:
Line 14: + + − 4. Open a new '''text''' document.<br>+ − 5. Save the file using the extension '''.z3''' into the same directory('''z3''').<br>+ − 6. Open '''Command Prompt''' and go to root C.<br>+ − 7. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>+
Manuals/calci/z3console (view source)
Revision as of 09:00, 22 September 2017
, 09:00, 22 September 2017no edit summary
'''INSTALL FILE'''<br>
'''INSTALL FILE'''<br>
4. Once you extract the file in "z3" folder, run it as an administrator.
4. Once you extract the file in "z3" folder, run it as an administrator.
[[File:Capture10.JPG]]<br>
[[File:Capture11.JPG]]<br><br/>
'''RUN z3 FILE'''<br>
'''RUN z3 FILE'''<br>
5. Open a new '''text''' document.<br>
6. Save the file using the extension '''.z3''' into the same directory('''z3''').<br>
[[File:Capture5.JPG]]<br><br/>
[[File:Capture5.JPG]]<br><br/>
'''For example test1.z3.'''<br>
'''For example test1.z3.'''<br>
[[File:Capture4.JPG]]<br><br/>
[[File:Capture4.JPG]]<br><br/>
7. Open '''Command Prompt''' and go to root C.<br>
[[File:Capture6.JPG]]<br><br/>
[[File:Capture6.JPG]]<br><br/>
8. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>
[[File:Capture7.JPG]]<br><br/>
[[File:Capture7.JPG]]<br><br/>