This software verifies that a given, purported tree decomposition is a correct tree decomposition of a given graph. It is part of the first Parameterized Algorithms and Computational Experiments Challenge (PACE 2016).
Check that input.gr and input.td correctly encode a graph and one of its tree decompositions:
./td-validate input.gr input.td
Check that input.gr correctly encodes a graph:
./td-validate input.gr
Run make and, optionally, make test.
- Cornelius Brand
- Holger Dell
- Lukas Larisch
- Felix Salfelder
This project is licensed under the MIT License - see the LICENSE file for details