Download

Install the STLmc Tool

The STLmc tool is written in Python. The tool is available for Ubuntu 18.04 (64-bit) and macOS (64-bit). You can download the tool using the following command:

pip install stlmc

Prerequisites

The following libraries are prerequisites for our tool:

Python3 (3.8.6) or newer: https://www.python.org/downloads/
Python3-pip: https://pypi.org/

Please make sure that pip is up-to-date. Otherwise some Python libraries STLmc used, such as numpy, may fail to be installed.
Gnuplot: http://www.gnuplot.info/

STLmc uses ‘Gnuplot’ to visualize counterexample graphs. You can install Gnuplot using the following command:

Ubuntu or Debian
```
  sudo apt install gnuplot
```
MacOS
```
  brew install gnuplot
```