product: Büchi|Büchi=Büchi, CoBüchi&CoBüchi=CoBüchi (!59) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/prod into next Sep 12, 2022

Improve the construction of the above constructions, saving colors.

spot/twaalgos/product.cc: Here.
spot/twaalgos/product.hh, NEWS: Mention it.
tests/core/prodchain.test, tests/core/prodor.test, tests/python/_product_weak.ipynb: Adjust.