diff --git a/CHANGELOG.md b/CHANGELOG.md
index 134f6d9..f63587c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,7 @@
 
 All notable changes to this project will be documented in this file.
 
+<!-- generated by git-cliff -->
 ## [0.2.0] - 2024-05-02
 
 ### Documentation
diff --git a/Cargo.lock b/Cargo.lock
index 3c31ea5..9e44b81 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -792,7 +792,7 @@ checksum = "b7c388c1b5e93756d0c740965c41e8822f866621d41acbdf6336a6a168f8840c"
 
 [[package]]
 name = "smtlib"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "futures",
  "indexmap",
@@ -808,7 +808,7 @@ dependencies = [
 
 [[package]]
 name = "smtlib-lowlevel"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "insta",
  "itertools",
@@ -1250,7 +1250,7 @@ checksum = "7e2c411759b501fb9501aac2b1b2d287a6e93e5bdcf13c25306b23e1b716dd0e"
 
 [[package]]
 name = "xtask"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "color-eyre",
  "heck",
diff --git a/Cargo.toml b/Cargo.toml
index 53ea29d..9126205 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -3,14 +3,14 @@ members = ["smtlib", "lowlevel", "xtask"]
 resolver = "2"
 
 [workspace.package]
-version = "0.2.0"
+version = "0.3.0"
 
 [workspace.dependencies]
 itertools = "0.12.0"
 miette = { version = "5.5.0" }
 serde = { version = "1.0.152", features = ["derive"] }
 smtlib = { path = "./smtlib" }
-smtlib-lowlevel = { path = "./lowlevel", version = "0.2.0" }
+smtlib-lowlevel = { path = "./lowlevel", version = "0.3.0" }
 thiserror = "1.0.38"
 insta = { version = "1.23.0", features = ["ron"] }