• Alexandre Duret-Lutz's avatar
    show how to implement product in Python · 74ec9c54
    Alexandre Duret-Lutz authored
    * wrap/python/tests/product.ipynb: New file.
    * wrap/python/tests/Makefile.am, doc/org/tut.org: Add it.
    * wrap/python/tests/ipnbdoctest.py: Ignore %timeit results.
    * wrap/python/spot_impl.i: Add bindings for
    set_state_names()/get_state_names().
    * spot/twaalgos/product.cc: Fix computation of properties.
    * doc/org/hoa.org: Name.
    * NEWS: Update.
    74ec9c54
product.ipynb 170 KB