Installation Guide » History » Revision 4
Revision 3 (Alexander Kamkin, 12/12/2014 11:07 AM) → Revision 4/52 (Alexander Kamkin, 12/12/2014 11:09 AM)
h1. Installation Guide
{{toc}}
h2. Eclipse IDE Installation
# TODO
# TODO
h2. Solver Installation
The "Retrascope":http://forge.ispras.ru/projects/retrascope core uses the Z3 solver to perform analysis of HDL descriptions. To install Z3 and make "Retrascope":http://forge.ispras.ru/projects/retrascope able to work with it, perform the following steps:
# Download the Z3 package from http://z3.codeplex.com and unpack it.
# Specify the @SMT_SOLVER_PATH@ environment variable (it should point to the Z3 executable file).
h2. Zest Installation
Some of the "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide engines depends on the Zest framework (e.g., it is used to visualize CFG and EFSM models). It is recommended to install it before working with the environment:
# TODO
# TODO
h2. Veditor Installation
# TODO
# TODO