writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 34:
Line 34: − +
Manuals/calci/z3console (view source)
Revision as of 09:23, 22 September 2017
, 09:23, 22 September 2017no edit summary
b. Write the following program into it and save the file as shown below:<br>
b. Write the following program into it and save the file as shown below:<br>
[[File:Capture8.JPG]]<br><br/>
[[File:Capture8.JPG]]<br><br/>
c. Open Command Prompt and go to root C.<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/>
'''Example2: Using z3 functions'''<br>
'''Example2: Using z3 functions'''<br>