August 2023 - Spot

Support for tgba_powerset() in Python
by Marek Jankola 08 Sep '23

08 Sep '23

Dear Spot development team, I am currently working on a python project that uses Spot to process omega-automata. We want to use tgba_powerset() and obtain a map from states of the original automaton to the sets representing states of the deterministic automaton. There is a struct power_map, which one can obtain when passing it as an argument to tgba_powerset(). However, it returns SwigPyObject (obtained form C++ method) that is not iterable and we cannot convert the object to Python dictionary/list/set. One can use power_map.states_of(const int), however it is also not iterable. Is there a workaround for this problem? Could you add support for this in python or make power_map.states_of(const int) iterable? This fix would be a big help to our project from which we want to publish a paper soon. Thank you very much for the possible collaboration. Best regards, Marek Jankola

2 1

Re: Spot tool - installation error
by Alexandre Duret-Lutz 29 Aug '23

29 Aug '23

Ioana Huștiu <ioana.hustiu(a)academic.tuiasi.ro> writes: > Well, I am trying to install the 2.11.6 version (the latest that is > available on the website). > My computer has Windows, but I tried to install it on a virtual > machine with Debian 11. I have attached all the commands and their > outputs below. I see that "make check" failed only the randltl.ipynb test, but given than (1) all other Python tests passed, and (2) what the error looks like, I believe that tests/python/randltl.ipynb has been modified compared to was was in the tarball. Probably you tried to open it, execute the first cell, and that created an error message that was saved into the file. > A minor curiosity of mine: can the tool be used by using Visual > Studio Code and python after installation? No idea. I'm not familiar with Visual Studio or Windows.

2 1

Spot tool - installation error
by Ioana Huștiu 22 Aug '23

22 Aug '23

Dear authors, I am a PhD student at Technical University of Iasi, Romania and I also work with professor Cristian Mahulea from University of Zaragoza, Spain. During my research I'm finding the Spot tool to be very useful. I am writing to you as I encountered an error during the installation of Spot during the "make check" step. The generated file is attached below and it is not clear to me how I can solve this problem. I tried multiple times to install the tool, even by skipping the "make check" step, but in this case another error appeared when trying to install the stable package "python3-spot" - the python version that I have (meaning 3.9.7) is not >=3 python 3.5, which is quite strange. What would you recommend me to do? Thank you, Ioana Hustiu

2 1