diff --git a/docs/src/build-from-source.md b/docs/src/build-from-source.md
index cb71264e3df2..01860f5f37e4 100644
--- a/docs/src/build-from-source.md
+++ b/docs/src/build-from-source.md
@@ -13,7 +13,7 @@ In general, the following dependencies are required to build Kani from source.
 1. Cargo installed via [rustup](https://rustup.rs/)
 2. [CBMC](https://github.com/diffblue/cbmc) (latest release)
 3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (latest release)
-4. [Kissat](https://github.com/arminbiere/kissat) (Release 3.0.0)
+4. [Kissat](https://github.com/arminbiere/kissat) (Release 3.1.1)
 
 Kani has been tested in [Ubuntu](#install-dependencies-on-ubuntu) and [macOS](##install-dependencies-on-macos) platforms.
 
diff --git a/kani-dependencies b/kani-dependencies
index ff9534a87082..647e7d4f4c3c 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,4 +1,4 @@
 CBMC_VERSION="5.91.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.8"
-KISSAT_VERSION="3.0.0"
+KISSAT_VERSION="3.1.1"
diff --git a/scripts/setup/install_kissat.sh b/scripts/setup/install_kissat.sh
index 2d28ef4e157c..7bbd8d5be3ec 100755
--- a/scripts/setup/install_kissat.sh
+++ b/scripts/setup/install_kissat.sh
@@ -34,7 +34,7 @@ wget -O "$FILE" "$URL"
 tar -xvzf $FILE
 DIR_NAME="kissat-rel-${KISSAT_VERSION}"
 cd $DIR_NAME
-./configure && make kissat && sudo install build/kissat /usr/local/bin
+./configure --safe && make kissat && sudo install build/kissat /usr/local/bin
 cd -
 
 # Clean up on success