Mention the Docker images in README.md. Closes #2109.

GaloisInc · Feb 6, 2025 · 77f732b · 77f732b
1 parent 1960060
commit 77f732b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -29,6 +29,11 @@ Precompiled SAWScript binaries for a variety of platforms are available
 on the [releases
 page](https://github.com/GaloisInc/saw-script/releases).
 
+## Docker Images
+
+Alternatively, there are Docker images available from the [packages
+page](https://github.com/orgs/GaloisInc/packages?repo_name=saw-script).
+
 ## Getting Z3
 
 SAW can use many theorem provers, but because of its use of Cryptol it