prepare for 0.6

c-cube · Jan 20, 2025 · d3084b5 · d3084b5
1 parent 6cc3b2e
commit d3084b5
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/src/batsat-bin/Cargo.toml b/src/batsat-bin/Cargo.toml
@@ -18,7 +18,7 @@ publish = false
 clap = { version = "^2.31", default-features=false}
 flate2 = "1.0"
 cpu-time = "0.1"
-batsat = {version="^0.5", path="../batsat"}
+batsat = {version="^0.6", path="../batsat"}
 #batsat = {version="^0.2", path="../batsat", features=["logging"]}
 
 log = {version = "0.4", optional=true}

diff --git a/src/batsat/Cargo.toml b/src/batsat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "batsat"
-version = "0.5.0"
+version = "0.6.0"
 authors = ["Simon Cruanes", "Masaki Hara <ackie.h.gmai@gmail.com>"]
 description = "Extensible SAT solver in Rust"
 homepage = "https://github.com/c-cube/batsat"