myeloid case study

sybila · Apr 3, 2024 · 6c076f1 · 6c076f1
1 parent cdf8cb7
commit 6c076f1
Show file tree

Hide file tree

Showing 2 changed files with 139 additions and 125 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -20,7 +20,7 @@ static-z3 = ["z3/static-link-z3"]
 pyo3 = { version = "0.20.0", features = ["abi3-py37", "extension-module"] }
 biodivine-lib-param-bn = { version="0.5.9", features=["solver-z3"] }
 biodivine-lib-bdd = "0.5.11"
-biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "defc197" }
+biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "6b27f62" }
 biodivine-hctl-model-checker = "0.2.2"
 rand = "0.8.5"
 macros = { path = "macros" }