writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 30:
Line 30: − + Line 37:
Line 37: + +
Manuals/calci/z3console (view source)
Revision as of 09:22, 22 September 2017
, 09:22, 22 September 2017no edit summary
=='''EXAMPLE'''==
=='''EXAMPLE'''==
'''Sum of two Numbers'''<br>
'''Example1: Sum of two Numbers'''<br>
a. Open '''test1.z3''' file using Notepad.<br>
a. Open '''test1.z3''' file using Notepad.<br>
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>
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>