releases

- rustsat: next_higher and next_lower on pb encodings - cadical: new version and dependency changes - glucose: dependency changes - minisat: dependency changes - kissat: dependency changes
chrjabs · Sep 5, 2023 · 24a7d44 · 24a7d44
1 parent 9504cca
commit 24a7d44
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-minisat"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat"
-version = "0.2.0"
+version = "0.2.1"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"