Use control library without Z3.

sybila · Nov 19, 2024 · 5702fcc · 5702fcc
1 parent 01df3b9
commit 5702fcc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -1,11 +1,11 @@
-name: build
+name: release
 on:
   push:
     tags:
       - '*'
 
 jobs:
-  build-classifier:
+  build-server:
     strategy:
       fail-fast: false
       matrix:

diff --git a/Cargo.toml b/Cargo.toml
@@ -27,7 +27,7 @@ futures = "0.3.31"
 tokio = "1.41.1"
 fixed-map = "0.9.5"
 lazy_static = "1.5.0"
-biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "bae48c10e62c217c047bd7b92f4a9861c51560c3" }
+biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "8ea98af977b43b5bdffd9455e824922be8eda97a" }
 serde = { version = "1.0.215", features = ["derive"] }
 num-bigint = "0.4.6"
 num-traits = "0.2.19"