"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