Skip to content

Latest commit

 

History

History
34 lines (22 loc) · 1.59 KB

INSTALLATION.md

File metadata and controls

34 lines (22 loc) · 1.59 KB
Raw

Installation

To install and use Modelator, make sure your system has

  • Python 3.8 or newer
  • Java 17 or newer

Python

Installing Modelator requires Python 3.8 or newer, together with its package manager pip. (They usually come pre-installed on Linux and MacOS.)

A good tool for managing different python versions is pyenv. For example:

pyenv install 3.10.6
pyenv global 3.10.6

These two commands set the python version to 3.10.6. If you want to go back to your old Python version, run pyenv global system. (For the Python version to be changed only in a current working directory, use the analogous pyenv local... command.)

Once you have the correct version of Python, run pip install modelator. That's it! Please verify that the tool works by executing modelator command on the terminal. You should see something like this:

Modelator CLI

Java

Modelator uses our in-house Apalache model checker to generate test scenarios from TLA+ models.

Modelator allows you to download and manage Apalache releases automatically, so you don't need to worry about that. The only prerequisite for using Apalache is to have Java installed on your system. We recommend version 17 builds of OpenJDK, for example Eclipse Temurin or Zulu. In case you don't have Java installed already, please download and install the package suitable for your system.