This is a repo of the Docker images for building CBMC in various operating systems. - View it on GitHub