Update Kissat to version 4.0.0

pindakaashq · Jul 28, 2024 · 64871ca · 64871ca
1 parent b1ea046
commit 64871ca
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/crates/pindakaas-kissat/Cargo.toml b/crates/pindakaas-kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "pindakaas-kissat"
-version = "3.1.1"
+version = "4.0.0"
 edition = "2021"
 build = "build.rs"
 links = "kissat"

diff --git a/crates/pindakaas-kissat/build.rs b/crates/pindakaas-kissat/build.rs
@@ -14,11 +14,13 @@ fn main() {
 		"vendor/kissat/src/build.c",
 		"vendor/kissat/src/bump.c",
 		"vendor/kissat/src/check.c",
+		"vendor/kissat/src/classify.c",
 		"vendor/kissat/src/clause.c",
 		"vendor/kissat/src/collect.c",
 		"vendor/kissat/src/colors.c",
 		"vendor/kissat/src/compact.c",
 		"vendor/kissat/src/config.c",
+		"vendor/kissat/src/congruence.c",
 		"vendor/kissat/src/decide.c",
 		"vendor/kissat/src/deduce.c",
 		"vendor/kissat/src/definition.c",
@@ -27,6 +29,8 @@ fn main() {
 		"vendor/kissat/src/eliminate.c",
 		"vendor/kissat/src/equivalences.c",
 		"vendor/kissat/src/error.c",
+		"vendor/kissat/src/factor.c",
+		"vendor/kissat/src/fastel.c",
 		"vendor/kissat/src/extend.c",
 		"vendor/kissat/src/file.c",
 		"vendor/kissat/src/flags.c",
@@ -39,25 +43,30 @@ fn main() {
 		"vendor/kissat/src/import.c",
 		"vendor/kissat/src/internal.c",
 		"vendor/kissat/src/kimits.c",
+		"vendor/kissat/src/krite.c",
 		"vendor/kissat/src/kitten.c",
 		"vendor/kissat/src/learn.c",
 		"vendor/kissat/src/logging.c",
+		"vendor/kissat/src/lucky.c",
 		"vendor/kissat/src/minimize.c",
 		"vendor/kissat/src/mode.c",
 		"vendor/kissat/src/options.c",
 		"vendor/kissat/src/parse.c",
 		"vendor/kissat/src/phases.c",
+		"vendor/kissat/src/preprocess.c",
 		"vendor/kissat/src/print.c",
 		"vendor/kissat/src/probe.c",
 		"vendor/kissat/src/profile.c",
 		"vendor/kissat/src/promote.c",
 		"vendor/kissat/src/proof.c",
 		"vendor/kissat/src/propbeyond.c",
 		"vendor/kissat/src/propdense.c",
+		"vendor/kissat/src/propinitially.c",
 		"vendor/kissat/src/proprobe.c",
 		"vendor/kissat/src/propsearch.c",
 		"vendor/kissat/src/queue.c",
 		"vendor/kissat/src/reduce.c",
+		"vendor/kissat/src/reorder.c",
 		"vendor/kissat/src/reluctant.c",
 		"vendor/kissat/src/rephase.c",
 		"vendor/kissat/src/report.c",
@@ -75,6 +84,7 @@ fn main() {
 		"vendor/kissat/src/substitute.c",
 		"vendor/kissat/src/sweep.c",
 		"vendor/kissat/src/terminate.c",
+		"vendor/kissat/src/tiers.c",
 		"vendor/kissat/src/trail.c",
 		"vendor/kissat/src/transitive.c",
 		"vendor/kissat/src/utilities.c",

diff --git a/crates/pindakaas-kissat/vendor/kissat b/crates/pindakaas-kissat/vendor/kissat