Update kissat to v4.0.1

New in 4.0.1 is gate extraction and clausal congruence closure. It could help improve performance in equivalence checking problems, by detecting and merging structurally equivalent literals and clauses within a SAT formula.
remi-delmas-3000 · Dec 19, 2024 · b887ccf · b887ccf
1 parent b7ae080
commit b887ccf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/src/build-from-source.md b/docs/src/build-from-source.md
@@ -12,7 +12,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. [Kissat](https://github.com/arminbiere/kissat) (Release 3.1.1)
+3. [Kissat](https://github.com/arminbiere/kissat) (Release 4.0.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
@@ -2,4 +2,4 @@ CBMC_MAJOR="6"
 CBMC_MINOR="4"
 CBMC_VERSION="6.4.1"
 
-KISSAT_VERSION="3.1.1"
+KISSAT_VERSION="4.0.1"