-
Alexandre Duret-Lutz authored
* src/twaalgos/dtbasat.cc, src/twaalgos/dtbasat.hh, src/twaalgos/dtgbasat.cc, src/twaalgos/dtgbasat.hh: Add it. * src/tests/satmin2.test: Add couple of tests.
7880b25a
* src/twaalgos/dtbasat.cc, src/twaalgos/dtbasat.hh, src/twaalgos/dtgbasat.cc, src/twaalgos/dtgbasat.hh: Add it. * src/tests/satmin2.test: Add couple of tests.