Using janus_swi==1.5.2 I can run popper once succesfully, but the second invocation runs into an error. The third invocation works again, and so on..
~/Popper (main)> uv -v run popper.py
DEBUG Found workspace root: `/home/ubuntu/Popper`
DEBUG Adding root workspace member: `/home/ubuntu/Popper`
DEBUG Found workspace configuration at `/home/ubuntu/Popper/pyproject.toml`
DEBUG Searching for user configuration in: `/home/ubuntu/.config/uv/uv.toml`
DEBUG uv 0.11.18 (x86_64-unknown-linux-gnu)
DEBUG Found project root: `/home/ubuntu/Popper`
DEBUG No workspace root found, using project root
DEBUG Discovered project `popper` at: /home/ubuntu/Popper
DEBUG No Python version file found in workspace: /home/ubuntu/Popper
DEBUG Using Python request `>=3.14` from `requires-python` metadata
DEBUG Checking for Python environment at: `.venv`
DEBUG The project environment's Python version satisfies the request: `Python >=3.14`
DEBUG Using request connect timeout of 10s and read timeout of 30s
DEBUG Found static `requires-dist` for: /home/ubuntu/Popper/
DEBUG No workspace root found, using project root
DEBUG Existing `uv.lock` satisfies workspace requirements
Resolved 19 packages in 1ms
DEBUG Using request connect timeout of 10s and read timeout of 30s
DEBUG Computed cache info: Timestamp(SystemTime { tv_sec: 1780403553, tv_nsec: 806627080 }), None, None, {}, {"src": None}. Most recently modified: pyproject.toml
DEBUG Requirement already installed: popper==5.0.0 (from file:///home/ubuntu/Popper)
DEBUG Requirement already installed: bitarray==3.8.1
DEBUG Requirement already installed: clingo==5.8.0
DEBUG Requirement already installed: cykhash==2.0.1
DEBUG Registry requirement already cached: janus-swi==1.5.2
DEBUG Requirement already installed: ortools==9.15.6755
DEBUG Requirement already installed: pypblib==0.0.4
DEBUG Requirement already installed: python-sat==1.9.dev4
DEBUG Requirement already installed: cffi==2.0.0
DEBUG Requirement already installed: absl-py==2.4.0
DEBUG Requirement already installed: immutabledict==4.3.1
DEBUG Requirement already installed: numpy==2.4.6
DEBUG Requirement already installed: pandas==3.0.3
DEBUG Requirement already installed: protobuf==6.33.6
DEBUG Requirement already installed: typing-extensions==4.15.0
DEBUG Requirement already installed: six==1.17.0
DEBUG Requirement already installed: pycparser==3.0
DEBUG Requirement already installed: python-dateutil==2.9.0.post0
DEBUG Failed to reflink `/home/ubuntu/.cache/uv/archive-v0/WMAT87MX9OfkUcdZ/janus_swi-1.5.2.dist-info/top_level.txt` to `/home/ubuntu/Popper/.venv/lib/python3.14/site-packages/janus_swi-1.5.2.dist-info/top_level.
txt`: Operation not supported (os error 95), falling back
Installed 1 package in 2ms
+ janus-swi==1.5.2
DEBUG Using Python 3.14.4 interpreter at: /home/ubuntu/Popper/.venv/bin/python3
DEBUG Running `python popper.py`
DEBUG Spawned child 123140 in process group 123129
usage: popper.py [-h] [--noisy] [--all-opt] [--timeout TIMEOUT] [--max-body MAX_BODY] [--max-vars MAX_VARS] [--nuwls] [-v] kbpath
popper.py: error: the following arguments are required: kbpath
~/Popper (main)> uv -v run popper.py
DEBUG Found workspace root: `/home/ubuntu/Popper`
DEBUG Adding root workspace member: `/home/ubuntu/Popper`
DEBUG Found workspace configuration at `/home/ubuntu/Popper/pyproject.toml`
DEBUG Searching for user configuration in: `/home/ubuntu/.config/uv/uv.toml`
DEBUG uv 0.11.18 (x86_64-unknown-linux-gnu)
DEBUG Found project root: `/home/ubuntu/Popper`
DEBUG No workspace root found, using project root
DEBUG Discovered project `popper` at: /home/ubuntu/Popper
DEBUG No Python version file found in workspace: /home/ubuntu/Popper
DEBUG Using Python request `>=3.14` from `requires-python` metadata
DEBUG Checking for Python environment at: `.venv`
DEBUG The project environment's Python version satisfies the request: `Python >=3.14`
DEBUG Using request connect timeout of 10s and read timeout of 30s
DEBUG Found static `requires-dist` for: /home/ubuntu/Popper/
DEBUG No workspace root found, using project root
DEBUG Existing `uv.lock` satisfies workspace requirements
Resolved 19 packages in 2ms
DEBUG Using request connect timeout of 10s and read timeout of 30s
DEBUG Computed cache info: Timestamp(SystemTime { tv_sec: 1780403553, tv_nsec: 806627080 }), None, None, {}, {"src": None}. Most recently modified: pyproject.toml
DEBUG Requirement already installed: popper==5.0.0 (from file:///home/ubuntu/Popper)
DEBUG Requirement already installed: bitarray==3.8.1
DEBUG Requirement already installed: clingo==5.8.0
DEBUG Requirement already installed: cykhash==2.0.1
DEBUG Registry requirement already cached: janus-swi==1.5.2
DEBUG Requirement already installed: ortools==9.15.6755
DEBUG Requirement already installed: pypblib==0.0.4
DEBUG Requirement already installed: python-sat==1.9.dev4
DEBUG Requirement already installed: cffi==2.0.0
DEBUG Requirement already installed: absl-py==2.4.0
DEBUG Requirement already installed: immutabledict==4.3.1
DEBUG Requirement already installed: numpy==2.4.6
DEBUG Requirement already installed: pandas==3.0.3
DEBUG Requirement already installed: protobuf==6.33.6
DEBUG Requirement already installed: typing-extensions==4.15.0
DEBUG Requirement already installed: six==1.17.0
DEBUG Requirement already installed: pycparser==3.0
DEBUG Requirement already installed: python-dateutil==2.9.0.post0
DEBUG Uninstalled janus-swi (18 files, 4 directories)
error: Unable to uninstall `janus-swi==1.5.2`. distutils-installed distributions do not include the metadata required to uninstall safely.
I can fix it locally by pinning the janus_swi version:
dependencies = [
"clingo",
"bitarray",
"janus_swi==1.5.1",
"python-sat",
"pypblib",
"ortools>=9.15.6755",
"cykhash>=2.0.1",
]
It seems to be an issue related to janus-swi, but because I am not sure of that I created the issue here.
If we can make sure that it's a problem of janus-swi I can create an issue there.
The only commit between 1.5.1 and 1.5.2 upstream which seems possible to be responsible to me is: SWI-Prolog/packages-swipy@439aea3
Using
janus_swi==1.5.2I can run popper once succesfully, but the second invocation runs into an error. The third invocation works again, and so on..I can fix it locally by pinning the janus_swi version:
It seems to be an issue related to janus-swi, but because I am not sure of that I created the issue here.
If we can make sure that it's a problem of janus-swi I can create an issue there.
The only commit between 1.5.1 and 1.5.2 upstream which seems possible to be responsible to me is: SWI-Prolog/packages-swipy@439aea3