Update kissat to v4.0.1 (#3791)

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. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. Co-authored-by: Remi Delmas <[email protected]>
model-checking · Dec 20, 2024 · 7a08474 · 7a08474
1 parent b7ae080
commit 7a08474
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"