From 0d3edc3172639496d1bca1463dfd30d7e402063a Mon Sep 17 00:00:00 2001
From: Yuheng Su <gipsyh.icu@gmail.com>
Date: Sat, 7 Dec 2024 13:27:23 +0800
Subject: [PATCH] update

---
 Cargo.lock      | 15 ++++++++-------
 Cargo.toml      | 18 +++++++++---------
 deps/abc-rs     |  2 +-
 deps/aig-rs     |  2 +-
 deps/cadical-rs |  2 +-
 deps/kissat-rs  |  2 +-
 deps/logic-form |  2 +-
 deps/minisat-rs |  2 +-
 deps/satif      |  2 +-
 9 files changed, 24 insertions(+), 23 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 470efe0..6e66fb9 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -4,9 +4,10 @@ version = 4
 
 [[package]]
 name = "abc-rs"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "aig",
+ "cmake",
  "tempfile",
 ]
 
@@ -40,7 +41,7 @@ dependencies = [
 
 [[package]]
 name = "aig"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "cc",
  "libc",
@@ -591,7 +592,7 @@ checksum = "a7a70ba024b9dc04c27ea2f0c0548feb474ec5c54bba33a7f72f873a39d07b24"
 
 [[package]]
 name = "logic-form"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "ahash",
  "giputils",
@@ -898,14 +899,14 @@ checksum = "955d28af4278de8121b7ebeb796b6a45735dc01436d898801014aced2773a3d6"
 
 [[package]]
 name = "satif"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "logic-form",
 ]
 
 [[package]]
 name = "satif-cadical"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "aig",
  "cmake",
@@ -916,7 +917,7 @@ dependencies = [
 
 [[package]]
 name = "satif-kissat"
-version = "0.4.1"
+version = "0.4.2"
 dependencies = [
  "giputils",
  "logic-form",
@@ -925,7 +926,7 @@ dependencies = [
 
 [[package]]
 name = "satif-minisat"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "cmake",
  "logic-form",
diff --git a/Cargo.toml b/Cargo.toml
index 0f9e888..26a184e 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -8,23 +8,23 @@ repository = "https://github.com/gipsyh/rIC3"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aig = { path = "./deps/aig-rs", version = "0.2.1" }
-satif-minisat = { path = "./deps/minisat-rs", version = "0.2.1" }
-satif-cadical = { path = "./deps/cadical-rs", version = "0.1.0" }
-satif-kissat = { path = "./deps/kissat-rs", version = "0.4.0" }
-logic-form = { path = "./deps/logic-form", version = "0.2.0" }
+aig = { path = "./deps/aig-rs", version = "0.2" }
+satif-minisat = { path = "./deps/minisat-rs", version = "0.2" }
+satif-cadical = { path = "./deps/cadical-rs", version = "0.1" }
+satif-kissat = { path = "./deps/kissat-rs", version = "0.4" }
+logic-form = { path = "./deps/logic-form", version = "0.2" }
+giputils = { path = "./deps/giputils", version = "0.2" }
+satif = { path = "./deps/satif", version = "0.1" }
+abc-rs = { path = "./deps/abc-rs", version = "0.2" }
+btor = { path = "./deps/btor-rs", version = "*" }
 clap = { version = "4.5.16", features = ["derive"] }
 rand = "0.8.5"
 ctrlc = { version = "3.4.1", features = ["termination"] }
-giputils = { path = "./deps/giputils", version = "0.2.0" }
-satif = { path = "./deps/satif", version = "0.1.0" }
 bitfield-struct = "0.8.0"
-abc-rs = { path = "./deps/abc-rs", version = "0.2.1" }
 tempfile = "3.10.1"
 process_control = "4.1.0"
 nix = { version = "0.27.1", features = ["signal"] }
 procspawn = "1.0.0"
-btor = { path = "./deps/btor-rs", version = "*" }
 shadow-rs = "0.34.0"
 
 [build-dependencies]
diff --git a/deps/abc-rs b/deps/abc-rs
index e952a20..5dd32de 160000
--- a/deps/abc-rs
+++ b/deps/abc-rs
@@ -1 +1 @@
-Subproject commit e952a20f6f78648ca71556f35710d197de7cf54d
+Subproject commit 5dd32de5f117772d943dbfd74b024a470ddfa0d1
diff --git a/deps/aig-rs b/deps/aig-rs
index 916739a..b3e7724 160000
--- a/deps/aig-rs
+++ b/deps/aig-rs
@@ -1 +1 @@
-Subproject commit 916739a836218e48c04d0c8eb9209a7947cbd6e4
+Subproject commit b3e7724cf6cf861ca1446be59b38357703c810e4
diff --git a/deps/cadical-rs b/deps/cadical-rs
index ebd0c1e..51317c2 160000
--- a/deps/cadical-rs
+++ b/deps/cadical-rs
@@ -1 +1 @@
-Subproject commit ebd0c1e3a9116028371bb846c5671f2f3e6282e2
+Subproject commit 51317c22930f2a7552d0419872fd04cf2aa7ca1c
diff --git a/deps/kissat-rs b/deps/kissat-rs
index 2f477de..ffafe68 160000
--- a/deps/kissat-rs
+++ b/deps/kissat-rs
@@ -1 +1 @@
-Subproject commit 2f477de180420d5ba6c35a1fb8352bef731f79c6
+Subproject commit ffafe68fe3587c103d0f770b4d308f6a0388078e
diff --git a/deps/logic-form b/deps/logic-form
index cc04d0a..75d65c3 160000
--- a/deps/logic-form
+++ b/deps/logic-form
@@ -1 +1 @@
-Subproject commit cc04d0a32dd5d634eb18a43d2afa0a83a1428956
+Subproject commit 75d65c3d157028ac22df10d399846b9e2410bfc9
diff --git a/deps/minisat-rs b/deps/minisat-rs
index cb473a8..ae0a9c7 160000
--- a/deps/minisat-rs
+++ b/deps/minisat-rs
@@ -1 +1 @@
-Subproject commit cb473a8f53947d90318ed4841df745038ff28ca6
+Subproject commit ae0a9c7cc205b10c119432972b396859d48f2d4e
diff --git a/deps/satif b/deps/satif
index fa1cddf..5ee290c 160000
--- a/deps/satif
+++ b/deps/satif
@@ -1 +1 @@
-Subproject commit fa1cddf45c6022ee2c3824bee8b44102ccac47fb
+Subproject commit 5ee290c85de0f60e8c41e959e403c834d28eb179