\page installation_guide Installation Guide

The [CBMC release page](https://github.com/diffblue/cbmc/releases/latest)
gives instructions for installing CBMC on MacOS, Ubuntu, Windows, and
Docker.