Manuals/calci/z3console

From ZCubes Wiki

Revision as of 11:19, 20 September 2017 by Sahiti (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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.

RUN z3compiler

Retrieved from "http://wiki.zcubes.com/index.php?title=Manuals/calci/z3console&oldid=208917"