-
Alexandre Duret-Lutz authored
This was suggested by one of the reviewers of our LPAR'15 paper. * src/twaalgos/dtgbasat.cc, src/twaalgos/dtgbasat.hh: Implement the colored option. * src/tests/satmin2.test: Test it. * doc/org/satmin.org, NEWS: Document it.
3378d72a
To find the state of this project's repository at the time of any of these versions, check out the tags.