• Alexandre Duret-Lutz's avatar
    python: add bindings for ltsmin · 5a9b0aa1
    Alexandre Duret-Lutz authored
    * python/spot/ltsmin.i: New file.
    * python/Makefile.am: Add it.
    * python/spot/impl.i: Add bindings for kripke and fair_kripke.
    * tests/python/ltsmin.ipynb: New file.
    * tests/Makefile.am, doc/org/tut.org: Add it.
    * tests/python/ipnbdoctest.py: Make it possible for notebook
    to exit(77).
    * debian/control: Make the Python package dependent
    on libspotltsmin0.
    * python/spot/__init__.py: Typo.
    5a9b0aa1
tut.org 3.39 KB