From de263ba571fed6efc753b1ffb583070c5755d415 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Tue, 16 Jan 2024 20:38:54 +1100 Subject: [PATCH] Update CaDiCaL to v1.9.4 --- crates/pindakaas-cadical/Cargo.toml | 2 +- crates/pindakaas-cadical/build.rs | 1 - crates/pindakaas-cadical/vendor/cadical | 2 +- 3 files changed, 2 insertions(+), 3 deletions(-) diff --git a/crates/pindakaas-cadical/Cargo.toml b/crates/pindakaas-cadical/Cargo.toml index 168ecd0ff4..1868e1027d 100644 --- 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 index 9d1f84736e..3cb30c51ee 100644 --- 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 index 3d346f7a73..e71bd58937 160000 --- a/crates/pindakaas-cadical/vendor/cadical +++ b/crates/pindakaas-cadical/vendor/cadical @@ -1 +1 @@ -Subproject commit 3d346f7a73080b276ae26fc2d15845747371fa1e +Subproject commit e71bd58937e6513f71bd8c93d91578785c592721