I have subscribed Thomas Medioni to the list. He is a master student from Paris 6 who will be working on implementing various algorithms for generic acceptance conditions, starting with some conversions between different acceptance conditions. His initial task is to implement --sum-or and --sum-and (https://gitlab.lrde.epita.fr/spot/spot/issues/231) -- Alexandre Duret-Lutz