feat: new versions

SoftVarE-Group · Nov 19, 2024 · ecdfb5d · ecdfb5d
1 parent 664bebe
commit ecdfb5d
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 8 deletions.
diff --git a/d4-arjun-sys/Cargo.toml b/d4-arjun-sys/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-arjun-sys"
-version = "0.1.0"
+version = "0.1.1"
 description = "A Rust wrapper around Arjun for d4."
 edition = "2021"
 build = "build.rs"

diff --git a/d4-cadiback-sys/Cargo.toml b/d4-cadiback-sys/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-cadiback-sys"
-version = "0.1.0"
+version = "0.1.1"
 description = "A Rust wrapper around CaDiBack for d4."
 edition = "2021"
 build = "build.rs"

diff --git a/d4-cadical-sys/Cargo.toml b/d4-cadical-sys/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-cadical-sys"
-version = "0.1.0"
+version = "0.1.1"
 description = "A Rust wrapper around CaDiCaL for d4."
 edition = "2021"
 build = "build.rs"

diff --git a/d4-cryptominisat-sys/Cargo.toml b/d4-cryptominisat-sys/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-cryptominisat-sys"
-version = "0.1.0"
+version = "0.1.1"
 description = "A Rust wrapper around CryptoMiniSat for d4."
 edition = "2021"
 build = "build.rs"

diff --git a/d4-glucose-sys/Cargo.toml b/d4-glucose-sys/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-glucose-sys"
-version = "0.1.0"
+version = "0.1.1"
 description = "A Rust wrapper around glucose for d4."
 edition = "2021"
 build = "build.rs"

diff --git a/d4-gpmc-sys/Cargo.toml b/d4-gpmc-sys/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-gpmc-sys"
-version = "0.1.0"
+version = "0.1.1"
 description = "A Rust wrapper around GPMC for d4."
 edition = "2021"
 build = "build.rs"

diff --git a/d4-oxide/Cargo.toml b/d4-oxide/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-oxide"
-version = "0.4.2"
+version = "0.5.0"
 description = "A Rust wrapper around d4."
 edition = "2021"
 build = "build.rs"

diff --git a/d4-sbva-sys/Cargo.toml b/d4-sbva-sys/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-sbva-sys"
-version = "0.1.0"
+version = "0.1.1"
 description = "A Rust wrapper around SBVA for d4."
 edition = "2021"
 build = "build.rs"