writer
1,835
edits
Changes
Manuals/calci/z3console (view source)
Revision as of 09:41, 21 September 2017
, 09:41, 21 September 2017no edit summary
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/>
[[File:Capture6.JPG]]<br><br/>
7. Run this program as '''z3compiler.exe test.z3''' as shown below.<br>
7. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>
[[File:Capture7.JPG]]<br><br/>
[[File:Capture7.JPG]]<br><br/>
=='''EXAMPLE'''==
=='''EXAMPLE'''==
'''Sum of two Numbers'''
a. Open '''test1.z3''' file using Notepad.<br>
b. Write the following program into it and save the file as shown below:<br>
[[File:Capture8.JPG]]<br><br/>
c. Open Command Prompt and go to root C.
d. Run this program as '''z3compiler.exe test1.z3''' as shown below.