build: Bump version.

daemontus · daemontus · commit 1dbca3a43c60 · 2025-09-25T15:32:30.000+02:00
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "biodivine-hctl-model-checker"
-version = "0.3.3"
+version = "0.3.4"
 authors = ["Ondřej Huvar <xhuvar@fi.muni.cz>", "Samuel Pastva <sam.pastva@gmail.com>"]
 edition = "2024"
 description = "Library for symbolic HCTL model checking on partially defined Boolean networks."
