Maybe a bug in Popper/bin /popper-ilp
Closed this issue · 2 comments
Zhang-Liao commented
If I run pip install git+https://github.com/logic-and-learning-lab/Popper@main
and execute popper-ilp
in bash, the following error will occur.
XXX:~$ popper-ilp
Traceback (most recent call last):
File "/XXX/conda/bin/popper-ilp", line 3, in <module>
from popper.util import Settings, print_prog_score
ImportError: cannot import name 'print_prog_score' from 'popper.util' (/XXX/conda/lib/python3.11/site-packages/popper/util.py)
The error seems to be caused by the file Popper/bin /popper-ilp. It uses from popper.util import Settings, print_prog_score
but popper.py uses from popper.util import Settings
. I remove the error after changing some lines of Popper/bin /popper-ilp and obtain a new file popper-ilp-new.
diff popper-ilp-new popper-ilp-old
3c3
< from popper.util import Settings
---
> from popper.util import Settings, print_prog_score
10c10
< settings.print_prog_score(prog, score)
---
> print_prog_score(prog, score, settings.noisy)
15d14
<
andrewcropper commented
Thanks! That is a bug. I will fix it.
andrewcropper commented
That should be fixed now (in main
branch). Thanks!