v1.3.1

gipsyh · Dec 22, 2024 · 34fdd73 · 34fdd73
1 parent e6523f0
commit 34fdd73
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rIC3"
-version = "1.3.0"
+version = "1.3.1"
 edition = "2021"
 authors = ["Yuheng Su <gipsyh.icu@gmail.com>"]
 repository = "https://github.com/gipsyh/rIC3"
@@ -12,7 +12,7 @@ rust-version = "1.85"
 # 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.3" }
+aig = { path = "./deps/aig-rs", version = "~0.2.4" }
 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" }

diff --git a/deps/aig-rs b/deps/aig-rs
diff --git a/deps/cadical-rs b/deps/cadical-rs
diff --git a/src/kind.rs b/src/kind.rs
@@ -161,14 +161,14 @@ impl Engine for Kind {
             } else {
                 (aux_latchs[i - 1], Some(false))
             };
-            certifaiger.new_latch(input, next, init);
+            certifaiger.add_latch(input, next, init);
         }
         for i in 1..k {
             for j in 0..ni {
-                certifaiger.new_latch(inputs[j + i * ni], inputs[j + (i - 1) * ni].into(), None);
+                certifaiger.add_latch(inputs[j + i * ni], inputs[j + (i - 1) * ni].into(), None);
             }
             for j in 0..nl {
-                certifaiger.new_latch(
+                certifaiger.add_latch(
                     latchs[j + i * nl].input,
                     latchs[j + (i - 1) * nl].input.into(),
                     None,
+2 −2		Cargo.toml
+1 −1		src/craig.rs
+3 −13		src/itp.rs
+1 −1		src/lib.rs