diff --git a/CMakeLists.txt b/CMakeLists.txt
index 684bd44..c57313c 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,7 +1,7 @@
 cmake_minimum_required(VERSION 3.15)
 
 project(OxiDD
-    VERSION 0.7.0
+    VERSION 0.8.0
     DESCRIPTION "Concurrent Decision Diagram Library"
     HOMEPAGE_URL "https://oxidd.net"
     LANGUAGES CXX)
diff --git a/Cargo.lock b/Cargo.lock
index 51ecb20..ba1a322 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -493,7 +493,7 @@ checksum = "1261fe7e33c73b354eab43b1273a57c8f967d0391e80353e51f764ac02cf6775"
 
 [[package]]
 name = "oxidd"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "cfg-if",
  "document-features",
@@ -513,7 +513,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-cache"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "allocator-api2",
  "document-features",
@@ -527,7 +527,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-cli"
-version = "0.2.2"
+version = "0.2.3"
 dependencies = [
  "bitvec",
  "clap",
@@ -547,14 +547,14 @@ dependencies = [
 
 [[package]]
 name = "oxidd-core"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "nanorand",
 ]
 
 [[package]]
 name = "oxidd-derive"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "oxidd-core",
  "oxidd-test-utils",
@@ -567,7 +567,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-dump"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "bitvec",
  "document-features",
@@ -579,7 +579,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-ffi"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "oxidd",
  "oxidd-core",
@@ -589,7 +589,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-manager-index"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "bitvec",
  "crossbeam-utils",
@@ -602,7 +602,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-manager-pointer"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "arcslab",
  "bitvec",
@@ -629,7 +629,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-reorder"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "flume",
  "is_sorted",
@@ -641,7 +641,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-rules-bdd"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "bitvec",
  "document-features",
@@ -652,7 +652,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-rules-mtbdd"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "document-features",
  "oxidd-core",
@@ -662,7 +662,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-rules-tdd"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "document-features",
  "oxidd-core",
@@ -672,7 +672,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-rules-zbdd"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "bitvec",
  "document-features",
@@ -683,7 +683,7 @@ dependencies = [
 
 [[package]]
 name = "oxidd-test-utils"
-version = "0.2.0"
+version = "0.3.0"
 dependencies = [
  "oxidd-core",
  "rayon",
diff --git a/Cargo.toml b/Cargo.toml
index 3acb08f..d42228f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -12,20 +12,20 @@ homepage = "https://oxidd.net"
 arcslab = { version = "0.1", path = "crates/arcslab", default-features = false }
 hugealloc = { version = "0.1", path = "crates/hugealloc", default-features = false }
 linear-hashtbl = { version = "0.1", path = "crates/linear-hashtbl", default-features = false }
-oxidd = { version = "0.7", path = "crates/oxidd", default-features = false }
-oxidd-cache = { version = "0.7", path = "crates/oxidd-cache", default-features = false }
-oxidd-core = { version = "0.7", path = "crates/oxidd-core", default-features = false }
-oxidd-derive = { version = "0.7", path = "crates/oxidd-derive", default-features = false }
-oxidd-dump = { version = "0.2", path = "crates/oxidd-dump", default-features = false }
-oxidd-manager-index = { version = "0.7", path = "crates/oxidd-manager-index", default-features = false }
-oxidd-manager-pointer = { version = "0.2", path = "crates/oxidd-manager-pointer", default-features = false }
+oxidd = { version = "0.8", path = "crates/oxidd", default-features = false }
+oxidd-cache = { version = "0.8", path = "crates/oxidd-cache", default-features = false }
+oxidd-core = { version = "0.8", path = "crates/oxidd-core", default-features = false }
+oxidd-derive = { version = "0.8", path = "crates/oxidd-derive", default-features = false }
+oxidd-dump = { version = "0.3", path = "crates/oxidd-dump", default-features = false }
+oxidd-manager-index = { version = "0.8", path = "crates/oxidd-manager-index", default-features = false }
+oxidd-manager-pointer = { version = "0.3", path = "crates/oxidd-manager-pointer", default-features = false }
 oxidd-parser = { version = "0.3", path = "crates/oxidd-parser", default-features = false }
-oxidd-reorder = { version = "0.2", path = "crates/oxidd-reorder", default-features = false }
-oxidd-rules-bdd = { version = "0.7", path = "crates/oxidd-rules-bdd", default-features = false }
-oxidd-rules-mtbdd = { version = "0.2", path = "crates/oxidd-rules-mtbdd", default-features = false }
-oxidd-rules-tdd = { version = "0.2", path = "crates/oxidd-rules-tdd", default-features = false }
-oxidd-rules-zbdd = { version = "0.7", path = "crates/oxidd-rules-zbdd", default-features = false }
-oxidd-test-utils = { version = "0.2", path = "crates/oxidd-test-utils", default-features = false }
+oxidd-reorder = { version = "0.3", path = "crates/oxidd-reorder", default-features = false }
+oxidd-rules-bdd = { version = "0.8", path = "crates/oxidd-rules-bdd", default-features = false }
+oxidd-rules-mtbdd = { version = "0.3", path = "crates/oxidd-rules-mtbdd", default-features = false }
+oxidd-rules-tdd = { version = "0.3", path = "crates/oxidd-rules-tdd", default-features = false }
+oxidd-rules-zbdd = { version = "0.8", path = "crates/oxidd-rules-zbdd", default-features = false }
+oxidd-test-utils = { version = "0.3", path = "crates/oxidd-test-utils", default-features = false }
 
 
 [profile.release]
diff --git a/crates/oxidd-cache/Cargo.toml b/crates/oxidd-cache/Cargo.toml
index 7e5715a..9d61cea 100644
--- a/crates/oxidd-cache/Cargo.toml
+++ b/crates/oxidd-cache/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-cache"
-version = "0.7.0"
+version = "0.8.0"
 edition = "2021"
 description = "Apply cache for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-cli/Cargo.toml b/crates/oxidd-cli/Cargo.toml
index cf66f79..bb2003c 100644
--- a/crates/oxidd-cli/Cargo.toml
+++ b/crates/oxidd-cli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-cli"
-version = "0.2.2"
+version = "0.2.3"
 edition = "2021"
 description = "Command line interface for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-core/Cargo.toml b/crates/oxidd-core/Cargo.toml
index ac7f51b..2f8d37f 100644
--- a/crates/oxidd-core/Cargo.toml
+++ b/crates/oxidd-core/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-core"
-version = "0.7.0"
+version = "0.8.0"
 edition = "2021"
 description = "Core traits and types of the OxiDD decision diagram framework"
 readme = "../../README.md"
diff --git a/crates/oxidd-derive/Cargo.toml b/crates/oxidd-derive/Cargo.toml
index 93b4190..0561d9b 100644
--- a/crates/oxidd-derive/Cargo.toml
+++ b/crates/oxidd-derive/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-derive"
-version = "0.7.0"
+version = "0.8.0"
 edition = "2021"
 description = "Derive macros for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-dump/Cargo.toml b/crates/oxidd-dump/Cargo.toml
index 8b04a4d..6b18c0e 100644
--- a/crates/oxidd-dump/Cargo.toml
+++ b/crates/oxidd-dump/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-dump"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 description = "Dump OxiDD decision diagrams to file"
 readme = "../../README.md"
diff --git a/crates/oxidd-ffi/Cargo.toml b/crates/oxidd-ffi/Cargo.toml
index a2d37b8..4b4af1d 100644
--- a/crates/oxidd-ffi/Cargo.toml
+++ b/crates/oxidd-ffi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-ffi"
-version = "0.7.0"
+version = "0.8.0"
 edition = "2021"
 description = "Foreign function interface for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-manager-index/Cargo.toml b/crates/oxidd-manager-index/Cargo.toml
index 7984154..c69bf8a 100644
--- a/crates/oxidd-manager-index/Cargo.toml
+++ b/crates/oxidd-manager-index/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-manager-index"
-version = "0.7.0"
+version = "0.8.0"
 edition = "2021"
 description = "Index-based manager implementation for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-manager-pointer/Cargo.toml b/crates/oxidd-manager-pointer/Cargo.toml
index f248e0a..f6b4908 100644
--- a/crates/oxidd-manager-pointer/Cargo.toml
+++ b/crates/oxidd-manager-pointer/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-manager-pointer"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 description = "Pointer-based manager implementation for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-reorder/Cargo.toml b/crates/oxidd-reorder/Cargo.toml
index 83216ab..6604c31 100644
--- a/crates/oxidd-reorder/Cargo.toml
+++ b/crates/oxidd-reorder/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-reorder"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 description = "Reordering algorithms for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-rules-bdd/Cargo.toml b/crates/oxidd-rules-bdd/Cargo.toml
index 41c7810..13496d4 100644
--- a/crates/oxidd-rules-bdd/Cargo.toml
+++ b/crates/oxidd-rules-bdd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-rules-bdd"
-version = "0.7.0"
+version = "0.8.0"
 edition = "2021"
 description = "Binary decision diagrams (BDDs) for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-rules-mtbdd/Cargo.toml b/crates/oxidd-rules-mtbdd/Cargo.toml
index 44a87ec..4a0608e 100644
--- a/crates/oxidd-rules-mtbdd/Cargo.toml
+++ b/crates/oxidd-rules-mtbdd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-rules-mtbdd"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 description = "Multi-terminal decision diagrams (MTBDDs) for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-rules-tdd/Cargo.toml b/crates/oxidd-rules-tdd/Cargo.toml
index 4999ae0..c66d6a6 100644
--- a/crates/oxidd-rules-tdd/Cargo.toml
+++ b/crates/oxidd-rules-tdd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-rules-tdd"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 description = "Ternary decision diagrams (TDDs) for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-rules-zbdd/Cargo.toml b/crates/oxidd-rules-zbdd/Cargo.toml
index 735fb6b..495f2c9 100644
--- a/crates/oxidd-rules-zbdd/Cargo.toml
+++ b/crates/oxidd-rules-zbdd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-rules-zbdd"
-version = "0.7.0"
+version = "0.8.0"
 edition = "2021"
 description = "Zero-suppressed decision diagrams (ZBDDs) for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd-test-utils/Cargo.toml b/crates/oxidd-test-utils/Cargo.toml
index 3edbc14..1be25e2 100644
--- a/crates/oxidd-test-utils/Cargo.toml
+++ b/crates/oxidd-test-utils/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-test-utils"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 description = "Test utilities for OxiDD"
 readme = "../../README.md"
diff --git a/crates/oxidd/Cargo.toml b/crates/oxidd/Cargo.toml
index 79d7a09..800bc86 100644
--- a/crates/oxidd/Cargo.toml
+++ b/crates/oxidd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd"
-version = "0.7.0"
+version = "0.8.0"
 edition = "2021"
 description = "A safe, concurrent, modular, and performant decision diagram framework."
 readme = "../../README.md"
diff --git a/pyproject.toml b/pyproject.toml
index 25c5c71..b7005ae 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "oxidd"
-version = "0.7.0"
+version = "0.8.0"
 description = "Decision Diagrams"
 requires-python = ">=3.9"
 keywords = ["Decision Diagrams", "BDD", "ZBDD", "ZDD"]