-
Alexandre Duret-Lutz authored
automata for emptiness, using the existing algorithms. * wrap/python/spot.i: Declare spot::explicit_magic_search, and spot::explicit_se05_search as allocating their output.
ca608416
To find the state of this project's repository at the time of any of these versions, check out the tags.