• Alexandre Duret-Lutz's avatar
    product_susp: new function · 4f2e9512
    Alexandre Duret-Lutz authored
    * spot/twaalgos/product.cc, spot/twaalgos/product.hh: Implement it.
    * tests/python/_product_susp.ipynb: New file.
    * tests/Makefile.am: Add it.
    * NEWS: Mention it.
    4f2e9512
product.hh 6.95 KB