Installation For Windows Users

Install WSL2 (Windows Subsystem For Linux)

To run Polytope on Windows you need the latest version of WSL2.

Attention! If you already have WSL installed on your computer, make sure you have the latest version!

Here are the official installation instructions.

To avoid memory contraint issues, allocate at least 12GB of RAM in the .wslconfig. To avoid very slow startup allocate at least 4 CPUs cores.

Install Docker Desktop

Install Docker Desktop or check that your current installation is up-to-date.

Attention! We do not support old versions of Docker.

Enable Docker Desktop WSL2 Backend.

See instructions here: https://docs.docker.com/desktop/wsl/. Attention! Make sure you have the latest version of Docker.

Ensure that you have enough memory allocated for Docker

Instructions: https://mrakelinggar.medium.com/set-up-configs-like-memory-limits-in-docker-for-windows-and-wsl2-80689997309c

Continue with the Installation Guide For Linux Users

You can now follow the Installation Guide For Linux Users. Launch the WSL2 Shell and run the installation commands in there.

Important Special Git Instruction For Windows Users

Make sure your git client is committing UNIX-style line endings. Otherwise you will have problems working with developers on other operating systems.

We recommend that you use the Git for Windows client.