writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 23:
Line 23: + + +
Manuals/calci/z3console (view source)
Revision as of 09:18, 22 September 2017
, 09:18, 22 September 2017no edit summary
[[File:Capture4.JPG]]<br><br/>
[[File:Capture4.JPG]]<br><br/>
7. Open '''Command Prompt''' and go to root C.<br>
7. Open '''Command Prompt''' and go to root C.<br>
8. cd should be to c:z3 folder.<br>
9. If not the path has to be set and it can be invoked from anywhere.<br>
10. Or we need to invoke z3compiler with full path.<br>
[[File:Capture6.JPG]]<br><br/>
[[File:Capture6.JPG]]<br><br/>
8. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>
8. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>