-
Alexandre Duret-Lutz authored
* python/spot/impl.i (get_product_states, set_product_states): New. * tests/python/product.ipynb: Use it. * NEWS: Mention it.
19348c89
* python/spot/impl.i (get_product_states, set_product_states): New. * tests/python/product.ipynb: Use it. * NEWS: Mention it.