writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 39:
Line 39: + + + + + + +
Manuals/calci/z3console (view source)
Revision as of 12:30, 22 September 2017
, 12:30, 22 September 2017no edit summary
'''Example2: Using z3 functions'''<br>
'''Example2: Using z3 functions'''<br>
* In this example, z3 function '''MATRIXADD''' is used.<br>
a. Open '''test1.z3''' file using Notepad.<br>
b. Write the following program into it and save the file as shown below:<br>
[[File:Capture12.JPG]]<br><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>
[[File:Capture13.JPG]]<br><br/>