November 2024 - Spot

Utilisation de spot comme librarie d'automates
by Laurent Bartholdi 07 Dec '24

07 Dec '24

Bonjour, J'aimerais utiliser spot pour manipuler des automates de Buchi, parité,... en librairie (pour l'intégrer en fait à du code déjà existant). Il semble que c'est possible, mais mes automates devraient avoir un alphabet de la forme {0,...,n} ou {1,...,n}, et pas un BDD. Comment puis-je faire ? Ou, plus généralement, comment avoir accès à une documentation complète qui ne passe pas par doxygen? Merci beaucoup d'avance, Laurent

2 1

Unmet Python Dependency Error
by david.arruga＠gmail.com 22 Nov '24

22 Nov '24

Hello everybody, While I noticed a similar post discussing a Python-related installation issue with Spot, I believe my case is distinct as the context and the errors I am facing differ significantly. In my case, I am attempting to install Spot on a clean virtual machine running Ubuntu 24.04. . I am encountering an unmet dependency issue when running the following command: " sudo apt-get install spot libspot-dev spot-doc python3-spot" The terminal output shows: " The following packages have unmet dependencies: python3-spot : Depends: python3 (< 3.12) but 3.12.3-0ubuntu2 is to be installed E: Unable to correct problems, you have held broken packages. " I have already tried the following steps: - Installing Python 3.10 manually and setting it as the default version using update-alternatives. - Adding the Spot Debian repository key and verifying it was added correctly. - Updating the package lists with sudo apt-get update. Despite these steps, the error persists, so I’m not sure if this is an issue with my system configuration, the Spot repository, or outdated requirements. Any insights or suggestions would be greatly appreciated. Thank you!

2 2

Python compatibility
by Vlada Krsmanovic 18 Nov '24

18 Nov '24

Hello, I have recently been attempting to get Spot to work on an ML cluster running 24.02 CUDA/PyTorch images (which have Python 3.10 installed). Following the installation instructions and trying to install spot using the Debian install approach causes installation error stating that python 3.11 is required The following packages have unmet dependencies: *libspotltsmin0 : Depends: libltdl7 (>= 2.4.7) but 2.4.6-15build2 is to be installedpython3-spot : Depends: python3 (>= 3.11~) but 3.10.6-1~22.04 is to be installedUnable to correct problems, you have held broken packages.* The website states that only python 3.6+ is required? Is the website requirement outdated, the debian installation too restrictive on the python version or am I doing something wrong? Thanks a bunch for your help, Best regards, Vladimir Krmsanovic

2 2