-
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