bump to 0.18.0-dev5

shnarazk · Jul 21, 2024 · 05b87f2 · 05b87f2
1 parent d35f97a
commit 05b87f2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "splr"
-version = "0.18.0-dev4"
+version = "0.18.0-dev5"
 authors = ["Narazaki Shuji <[email protected]>"]
 description = "A modern CDCL SAT solver in Rust"
 edition = "2021"