diff --git a/Cargo.toml b/Cargo.toml
index 8bf47dc..2466265 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "biodivine-lib-bdd"
-version = "0.5.6"
+version = "0.5.7"
 authors = ["Samuel Pastva <daemontus@gmail.com>"]
 edition = "2021"
 description = "A simple thread-safe implementation of basic binary decision diagrams."