Vlada Krsmanovic <vladakrsmanovic@gmail.com> writes:

Hello, Is it safe to use Spot with parallelism and python multiprocessing/ multhreading?

Hi Vlada, Unfortunately no. The BuDDy library, that Spot uses for all BDD operations, is not thread-safe. So any algorithm of Spot that touches a BDD isn't thread-safe (just copying a BDD is enough to increment a reference counter in BuDDy). And since Spot uses BDD to represent the labels of automata... most algorithms aren't thread safe. Alexandre