Installation Guide » History » Version 1
Sergey Smolov, 12/30/2014 11:14 AM
| 1 | 1 | Sergey Smolov | h1. Installation Guide |
|---|---|---|---|
| 2 | |||
| 3 | The "HDL Retrascope":http://forge.ispras.ru/projects/retrascope can be used in two following ways: through it''s "Command Line Options":http://forge.ispras.ru/projects/retrascope/wiki/Command_Line_Options/edit or through the "HDL Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide plugin for "Eclipse IDE":http://eclipse.org. |
||
| 4 | |||
| 5 | For both ways either the system property @smt.solver.path@ or the environment variable @SMT_SOLVER_PATH@ must be set to a full path to a solver executable file in order to run solver-dependent tasks. If the both are set, a value of fortress.solver.path is used. |
||
| 6 | |||
| 7 | For constraints solving we recommend to use "Z3 SMT-solver":http://z3.codeplex.com/. |