Changes

Manuals/calci/z3console (view source)

4 bytes added , 09:42, 21 September 2017

Line 24: Line 24:

=='''EXAMPLE'''==

−

'''Sum of two Numbers'''

+

'''Sum of two Numbers'''<br>

a. Open '''test1.z3''' file using Notepad.<br>

b. Write the following program into it and save the file as shown below:<br>

writer

1,835

edits