writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 28:
Line 28: − + − + +
Manuals/calci/z3console (view source)
Revision as of 09:50, 21 September 2017
, 09:50, 21 September 2017→EXAMPLE
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.
c. Open Command Prompt and go to root C.<br>
d. Run this program as '''z3compiler.exe test1.z3''' as shown below.
d. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>
[[File:Capture9.JPG]]<br><br/>