Hi Andreas,
andreas luo <luoandreas(a)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).