From 5702fcc06630fd33b1aba1b515f42af08b508638 Mon Sep 17 00:00:00 2001
From: Samuel Pastva <sam.pastva@gmail.com>
Date: Tue, 19 Nov 2024 15:04:24 +0100
Subject: [PATCH] Use control library without Z3.

---
 .github/workflows/release.yml | 4 ++--
 Cargo.toml                    | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 63c05c6..ca48f1a 100644
--- 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
index 576ec41..5ccdfc9 100644
--- 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"