Installation Guide » History » Revision 3
Revision 2 (Alexander Kamkin, 12/11/2014 02:55 PM) → Revision 3/52 (Alexander Kamkin, 12/12/2014 11:07 AM)
h1. Installation Guide h2. Eclipse IDE Installation # TODO # TODO h2. Solver Installation The "Retrascope":http://forge.ispras.ru/projects/retrascope *Retrascope* core uses the Z3 solver to perform analysis of HDL descriptions. To install Z3 and make "Retrascope":http://forge.ispras.ru/projects/retrascope *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 *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