Skip to content
  • Alexandre Duret-Lutz's avatar
    dtgbasat: add a colored option · 3378d72a
    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.