-
Alexandre Duret-Lutz authored
* spot/twaalgos/dot.cc: Implement it. * spot/taalgos/dot.cc: Ignore it. * spot/twaalgos/copy.cc, spot/twaalgos/copy.hh: Add option to limit the number of states. * tests/python/ltsmin.ipynb: Improve test case. * tests/Makefile.am: Cleanup the files generated by ltsmin.ipynb. * python/spot/__init__.py (setup): Add a max_states argument that default to 50. * bin/common_aoutput.cc: Mention the <INT option. * NEWS: Likewise.
b11c07b3