0.4.0a5

sybila · Nov 22, 2023 · e9ea8c1 · e9ea8c1
1 parent 808f9f6
commit e9ea8c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -19,7 +19,7 @@ static-z3 = ["z3/static-link-z3"]
 pyo3 = { version = "0.20.0", features = ["abi3-py37", "extension-module"] }
 biodivine-lib-param-bn = { version="0.4.7", features=["solver-z3"] }
 biodivine-lib-bdd = "0.5.2"
-biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "73ebfa4" }
+biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "5c69d18" }
 biodivine-hctl-model-checker = "0.2.0"
 rand = "0.8.5"
 macros = { path = "macros" }