From 7f98b2b2ce3d205c5d395fea0c733a99999e7f23 Mon Sep 17 00:00:00 2001
From: wout4 <wout.vanroose@gmail.com>
Date: Tue, 7 Nov 2023 14:33:02 +0100
Subject: [PATCH] add pysdd to automated tests

---
 .github/workflows/python-test.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/python-test.yml b/.github/workflows/python-test.yml
index 1f1836206..9641ed573 100644
--- a/.github/workflows/python-test.yml
+++ b/.github/workflows/python-test.yml
@@ -21,6 +21,7 @@ jobs:
           pip install python-sat
           pip install z3-solver
           pip install exact
+          pip install pysdd
       - name: Test with pytest
         run: |
           python -m pytest tests/