Update CaDiCaL to v1.9.4

pindakaashq · Jan 16, 2024 · de263ba · de263ba
1 parent fb9cba4
commit de263ba
Show file tree

Hide file tree

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

diff --git a/crates/pindakaas-cadical/build.rs b/crates/pindakaas-cadical/build.rs
@@ -70,7 +70,6 @@ fn main() {
 		"vendor/cadical/src/subsume.cpp",
 		"vendor/cadical/src/terminal.cpp",
 		"vendor/cadical/src/ternary.cpp",
-		"vendor/cadical/src/trail.cpp",
 		"vendor/cadical/src/transred.cpp",
 		"vendor/cadical/src/veripbtracer.cpp",
 		"vendor/cadical/src/util.cpp",

diff --git a/crates/pindakaas-cadical/vendor/cadical b/crates/pindakaas-cadical/vendor/cadical
+5 −0		NEWS.md
+1 −1		VERSION
+18 −83		src/analyze.cpp
+33 −29		src/assume.cpp
+0 −95		src/backtrack.cpp
+2 −42		src/clause.cpp
+0 −80		src/collect.cpp
+0 −7		src/compact.cpp
+0 −62		src/condition.cpp
+9 −12		src/decide.cpp
+33 −177		src/external_propagate.cpp
+1 −1		src/file.cpp
+2 −8		src/flip.cpp
+3 −6		src/internal.cpp
+1 −33		src/internal.hpp
+3 −9		src/minimize.cpp
+1 −1		src/mobical.cpp
+0 −1		src/options.hpp
+0 −2		src/probe.cpp
+7 −1,012		src/propagate.cpp
+0 −2		src/reduce.cpp
+2 −2		src/restart.cpp
+8 −7		src/shrink.cpp
+0 −6		src/stats.cpp
+0 −2		src/stats.hpp
+7 −1		src/subsume.cpp
+0 −88		src/trail.cpp
+1 −1		src/version.cpp
+0 −34		src/watch.cpp
+1 −1		test/api/example_tracer.cpp
+632 −0		test/icnf/prime49.icnf