writer
1,835
edits
Changes
Manuals/calci/z3console (view source)
Revision as of 09:05, 21 September 2017
, 09:05, 21 September 2017no edit summary
3. Extract the files into the same folder '''z3'''.<br><br/>
3. Extract the files into the same folder '''z3'''.<br><br/>
[[File:Capture2.JPG]]<br><br/>
[[File:Capture2.JPG]]<br><br/>
[[File:Capture3.JPG]]<br><br/>
'''INSTALL FILE'''<br>
'''INSTALL FILE'''<br>
4. Run the downloaded file '''z3compiler'''. <br><br/>
4. Run the downloaded file '''z3compiler'''. <br><br/>