When running ocus_explanations.py, the following error is produced:

    if cpm_var not in self._varmap:
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
TypeError: unhashable type: 'set'

The issue stems from line 212: if not SAT.solve(assumptions=S):

It will run normally if cast to list: if not SAT.solve(assumptions=list(S)):