Floras documentation can be found here.
Floras requires Python>=3.10 and a C++17-compliant compiler (for example g++>=7.0 or clang++>=5.0).
You can check the versions by running python --version and gcc --version.
If you are using a Mac, please pre-install graphviz and pygraphviz. Using conda:
conda install --channel conda-forge pygraphviz
Or otherwise please install it via brew and pip:
brew install graphviz
pip install pygraphviz
To install floras, please clone the repository:
git clone https://github.com/tulip-control/floras.git
We are using pdm to manage the dependencies.
pip install pdm
Navigate to the repo to install floras and all required dependencies:
cd floras
pdm install
Next, install spot by running:
pdm run python get_spot.py
If you are using conda, instead of the above command, you can install spot directly from conda-forge (this is faster). This does not work on MacOS, please use the above command to build spot in that case.
conda install -c conda-forge spot
If the spot installation does not work, please install it according to the instructions on the spot website.
To enter the virtual environment created by pdm:
$(pdm venv activate)
For installation instructions and troubleshooting, please visit this page.
The floras repository contains implementations of the algorithms developed in the following paper: