Skip to content

Latest commit

 

History

History
53 lines (34 loc) · 2.16 KB

installationInstructions.md

File metadata and controls

53 lines (34 loc) · 2.16 KB

Installing and running FRET

Dependencies

  • NodeJS (use any version between v16.16.x - v20.13.1)
  • Python (use any version between v2.7.x - v3.11.x)
  • gcc, g++, make
  • (Optional) NuSMV
  • (Optional) JKind
  • (Optional) Kind 2
  • (Optional) Z3

Install and Run

When you open the FRET distribution, you will see the following directory structure:

.
├── fret-electron
├── tools
├── caseStudies
├── CONTRIBUTORS.md
├── LICENSE.pdf
└── README.md

  • Here are the steps to install and run FRET on Linux and MacOS systems:

    1. cd fret-electron
    2. npm run fret-install (please do 'npm run fret-reinstall' instead if you already have a FRET installation)
    3. npm start

  • Alternatively, for MacOS or Linux users, we provide means to build an executable natively or through Docker. See Building executables.

  • For the installation of FRET on Windows see our Windows installation guide.

  • If you run into installation issues, check the Troubleshooting section.

  • FRET developers, check the Developer's guide.

Notes

Note: To run the LTLSIM simulator, a NuSMV (see http://nusmv.fbk.eu/) installation is required. Please make sure that the NuSMV binaries directory is added to the PATH environment variable. Additionally, please add $PATH_TO_FRET/fret/tools/LTLSIM/ltlsim-core/simulator to the PATH environment variable.

Note: To perform realizability checking, additional dependencies must be installed. Read the realizability checking Dependencies section for details.

Note: You can config FRET to specify which version of python to use. For example, to use python3 executable, run the following: npm config set python /usr/bin/python3.x

Back to FRET home page

Back to the FRET README