Setup Docker (for Linux based variants only)#

In order to set up FLINT by using docker containers, please follow the instructions below based on your Linux distro. If your Linux distro is not listed below, please checkout the Docker official installation guides for more information:

Test Docker version#

Verify if the docker installation is successful by running the following command. If the following command does not return the docker version, your installation has been unsuccessful, please try again.

docker --version