writer
1,835
edits
Changes
Manuals/calci/z3console (view source)
Revision as of 12:38, 22 September 2017
, 12:38, 22 September 2017no edit summary
4. Once you extract the file in "z3" folder, run it as an administrator.<br>
4. Once you extract the file in "z3" folder, run it as an administrator.<br>
[[File:Capture10.JPG]]<br><br/>
[[File:Capture10.JPG]]<br><br/>
[[File:Capture11.JPG]]<br><br/>
[[File:Capture11.JPG]]<br><br/><br>
'''RUN z3 FILE:'''<br>
'''RUN z3 FILE:'''<br>
5. Open a new '''text''' document.<br>
5. Open a new '''text''' document.<br>
c. Open Command Prompt and go to root C. '''cd''' should be to '''c:z3 folder'''<br>
c. Open Command Prompt and go to root C. '''cd''' should be to '''c:z3 folder'''<br>
d. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>
d. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>
[[File:Capture9.JPG]]<br><br/>
[[File:Capture9.JPG]]<br><br/><br>
'''Example2: Using z3 functions'''<br>
'''Example2: Using z3 functions'''<br>