-
Alexandre Duret-Lutz authored
* src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Implement the wdba-minimize option. * src/bin/spot-x.cc (wdba-minimize): Document. * src/bin/man/spot-x.x: Update references.
b09ef5be
* src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Implement the wdba-minimize option. * src/bin/spot-x.cc (wdba-minimize): Document. * src/bin/man/spot-x.x: Update references.