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/