• Alexandre Duret-Lutz's avatar
    dot: add option "k" · a9b4560f
    Alexandre Duret-Lutz authored
    Fixes #134.
    
    * spot/twaalgos/dot.cc: Implement it.
    * bin/common_aoutput.cc, spot/twaalgos/dot.hh, NEWS: Document it.
    * tests/core/readsave.test, tests/python/ltsmin.ipynb: Test it.
    a9b4560f