Bump version

sybila · Dec 18, 2023 · 23c2c9d · 23c2c9d
1 parent 4a66189
commit 23c2c9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "biodivine-hctl-model-checker"
-version = "0.2.0"
+version = "0.2.1"
 authors = ["Ondřej Huvar <[email protected]>", "Samuel Pastva <[email protected]>"]
 edition = "2021"
 description = "Library for symbolic HCTL model checking on partially defined Boolean networks."