2 Apr
2023
2 Apr
'23
4:41 p.m.
Hi, I ran into a couple of issues when using SPOT in a project. I'll be glad for any assistance. 1) I am calling sat_minimize from a python script using the spot python library. Is there any way to set a timeout on this function call? Or do I have to use the CLI if I want a timeout? 2) I am manipulating an automaton generated from an LTL formula, and then printing it in HOA format. Is there a way to guarantee that the initial state is the state numbered 0? If not, is there any other way to control the naming of states? Thank you, Yoav Ben Shimon