"No module named 'library_path'"
Task Info (Flyspray) | |
---|---|
Opened By | Jonathan Krebs (thejonny) |
Task ID | 80185 |
Type | Bug Report |
Project | Arch Linux |
Category | Packages: Extra |
Version | None |
OS | x86_64 |
Opened | 2023-11-07 07:34:34 UTC |
Status | Assigned |
Assignee | Felix Yan (felixonmars) |
Details
Description:
Importing the python module for STP fails
Additional info:
- package version: stp 2.3.3-11
Steps to reproduce:
jonny@charon ~> python
Python 3.11.5 (main, Sep 2 2023, 14:16:33) [GCC 13.2.1 20230801] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import stp
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "/usr/lib/python3.11/site-packages/stp/__init__.py", line 23, in <module>
from .stp import Expr, Solver, stp, add, bitvec, bitvecs, check, model
File "/usr/lib/python3.11/site-packages/stp/stp.py", line 45, in <module>
from library_path import PATHS
ModuleNotFoundError: No module named 'library_path'
>>>
jonny@charon ~> pacman -Qo /usr/lib/python3.11/site-packages/stp/stp.py
/usr/lib/python3.11/site-packages/stp/stp.py is owned by stp 2.3.3-11