Issues running code

[ChrisJefferson]

While there is a .gitmodules file, if I do a fresh clone I can't get the submodule to be initalized, no matter what I do.

I explictly wrote

git submodule add https://github.com/tias/cppy.git -b tseitin -- cppy

Which adds a new commit which looks like:

% git diff HEAD~1
diff --git a/cppy b/cppy
new file mode 160000
index 0000000..676c290
--- /dev/null
+++ b/cppy
@@ -0,0 +1 @@
+Subproject commit 676c29048bbf9f486b89aa4fb8e04ac5a472f9eb

After this, I had a bit of trouble running the 'simple_explanations.py' from jair, due to path issues finding 'pyexplain' (a clear command to run might be useful!), after those were fixed I get stuck by:

Traceback (most recent call last):
  File "/Users/caj/files/reps/cp/ocus-explain/jair2023/code/examples/simple_explanations.py", line 5, in <module>
    from pyexplain.explain.parallel_greedy_incr_naive_explain import ParallelGreedyIncrNaiveExplain
  File "/Users/caj/files/reps/cp/ocus-explain/jair2023/code/pyexplain/explain/parallel_greedy_incr_naive_explain.py", line 2, in <module>
    from pyexplain.explain.csp_explain import CSPExplain
  File "/Users/caj/files/reps/cp/ocus-explain/jair2023/code/pyexplain/explain/csp_explain.py", line 112
    assert all(True if abs(lit) in U else False for lit in I0), f"Part of supplied literals not in U (user variables): {lit for lit in I if lit not in U}"

I can fix that with some square brackets (as I couldn't find the version of python where this worked? I'm happy to install it if you can tell me)

But then I get stuck as python can't find cppy, and I'm not positive how to make sure all the code can find each other?

Do you have a script that will run the commands?
Thanks

[PerryAsleep]

I was also struggling with this. I eventually got simple_explanations.py running with the following steps.

• I used python 3.9.13. I don't know the actual version originally used but using this version allowed the syntax error in csp_explain.py to be ignored.
• From within jair2023/code I set my PYTHONPATH to be .;..\..\cppy. The cppy dependency is vendored into the repo, just up a few directories.
• I needed to downgrade numpy. Here is my requirements.txt file after running a pip freeze and getting everything working:

gurobipy==9.1.2
numpy==1.19.5
pandas==1.1.5
python-dateutil==2.9.0.post0
python-sat==1.8.dev17
pytz==2025.2
scipy==1.5.4
six==1.17.0
z3-solver==4.15.1.0

• I also don't have a gurobi license and I am just a hobbyist so I won't be purchasing one. Gurobi is used in hittingSet.py. I locally hacked that file up to use z3 instead of gurobi.

While that was enough to run simple_explanations.py for me, I still run into issues running other examples. For instance explain_sudoku_grid.py is importing a model_sudoku_cppy function which doesn't appear to be defined anywhere.

Ultimately I am grateful that this code was made public as the examples and implementation of the approach outlined in the JAIR 2023 paper are very helpful for me to better understand it. If the setup instructions and dependencies could be made more explicit I think that would go a long way in helping others explore this project. Thank you for sharing your work!