Hi Andreas,
andreas luo luoandreas@gmail.com writes:
However, I am encountering an issue in Python. While I can import the Spot package without errors, attempting to run any functions like spot.formula or spot.translate results in “AttributeError: module 'spot' has no attribute 'formula'”.
This suggests you are importing another Python package that is also called spot.
How did you install Spot? Via configure && make && make install? What options do you pass to configure? Did you get a warning at the end of configure stating that the Python binding would be installed in a directory that isn't searched by Python?
import sys sys.path.append('/u/halle/luju/home_at/spot')
This should be a path to the directory that contains buddy.py, _buddy.*.so (as well as a subdirectory called spot).