Difference between revisions of "Manuals/calci/z3console"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
<div style="font-size:30px">'''z3console'''</div><br/> | <div style="font-size:30px">'''z3console'''</div><br/> | ||
STEPS TO INSTALL '''Z3CONSOLE''' | STEPS TO INSTALL '''Z3CONSOLE''' | ||
| + | |||
| + | 1) Create a folder '''z3''' in the local drive C. | ||
| + | *'''DOWNLOAD''' | ||
| + | 2) Download '''z3compiler''' from http://downloads.zcubes.com/zconsole/z3compiler.zip to '''z3''' folder. | ||
| + | 3) Extract the files in the same folder '''z3'''. | ||
Revision as of 10:22, 20 September 2017
z3console
STEPS TO INSTALL Z3CONSOLE
1) Create a folder z3 in the local drive C.
- DOWNLOAD
2) Download z3compiler from http://downloads.zcubes.com/zconsole/z3compiler.zip to z3 folder. 3) Extract the files in the same folder z3.