diff --git a/src/cbmc_starter_kit/print_tool_versions.py b/src/cbmc_starter_kit/print_tool_versions.py
index 1d19cf3..bdeb429 100755
--- a/src/cbmc_starter_kit/print_tool_versions.py
+++ b/src/cbmc_starter_kit/print_tool_versions.py
@@ -15,6 +15,7 @@
     "cbmc",
     "cbmc-viewer",
     "cbmc-starter-kit-update",
+    "kissat",
     "litani",
 ]