From 3486ff9a288091a28ed93a2b9a1fa58eddbe3ee0 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Tue, 19 Mar 2024 14:53:06 +1100 Subject: [PATCH] Update CaDiCaL to v1.9.5 --- crates/pindakaas-cadical/Cargo.toml | 2 +- crates/pindakaas-cadical/vendor/cadical | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/pindakaas-cadical/Cargo.toml b/crates/pindakaas-cadical/Cargo.toml index 1868e1027d..87b471c669 100644 --- a/crates/pindakaas-cadical/Cargo.toml +++ b/crates/pindakaas-cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "pindakaas-cadical" -version = "1.9.4" +version = "1.9.5" edition = "2021" build = "build.rs" links = "cadical" diff --git a/crates/pindakaas-cadical/vendor/cadical b/crates/pindakaas-cadical/vendor/cadical index e71bd58937..1462073187 160000 --- a/crates/pindakaas-cadical/vendor/cadical +++ b/crates/pindakaas-cadical/vendor/cadical @@ -1 +1 @@ -Subproject commit e71bd58937e6513f71bd8c93d91578785c592721 +Subproject commit 146207318796f094dcded87349a64f0c6927309e