27 Feb
2017
27 Feb
'17
4:24 p.m.
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