How to install or-tools (binary)

Follow the official instructions for a binary installation, C++.
⚠️ It's a ~50MB download! It might take a while.

If you're not sure about which system you have, pick the latest Ubuntu with the "LTS" label (meaning: official release).

After the installation (the make test command must have worked):

Then, when you're doing td7, td8, etc: