Good afternoon,
I am Jueming, a Ph. D. student at Arizona State University. I would like to use spot for my research, such as getting the graph of an LTL formula.
I downloaded 'linux-64/spot-2.9.6-py38_2.tar.bz2' and ran 'conda install -c adl spot' within the extracted folder. 'spot 2.5.2' is shown in conda list and also in python packages. However, 'import spot' doesn't work. The error says, 'No module named 'spot''.
I have also tried 'linux-64/spot-2.9.4-py38_2.tar.bz2', 'conda install -c adl/label/adl spot', 'conda install -c adl/label/dev spot', append system path before import spot, and export LD_LIBRARY_PATH. But spot still doesn't work on my pc.
Could you please help me install spot?
Thanks in advance and looking forward to hearing from you.
Best, Jueming
Hi Jueming,
Jueming Hu juemingh@asu.edu writes:
I downloaded 'linux-64/spot-2.9.6-py38_2.tar.bz2' and ran 'conda install -c adl spot' within the extracted folder.
It's unclear to me why you would need to download the bz2 file before running conda install.
'spot 2.5.2' is shown in conda list
Why is that a different version number?
and also in python packages.
Not sure what that means.
However, 'import spot' doesn't work. The error says, 'No module named 'spot''.
Please show how you started Python. Is that conda's Python, or your system's Python ? Did first you activate the conda environment in which you installed spot ?
Could you please help me install spot?
On what kind of system ?
Our installation instructions are at : https://spot.lrde.epita.fr/install.html (and they don't mention conda).
-
Alexandre Duret-Lutz -
Jueming Hu