This software is part of the submission of 'exact' track of PACE 2020. It is used to compute the exact treedepth of a given graph. This algorithm is also part of my bachelor thesis, which was written at Utrecht University and supervised by Erik Jan van Leeuwen. A brief description of the techniques used in the solver is available in the solver description.
The software uses msbuild as build tool. When running on linux, mono is required to run the software. The software can then be build by running
make release
The input graphs are read from the standard input and need to be in the .gr format as specified on the PACE website. It then outputs the treedepth as well a treedepth decomposition in the .tree format to the standard output.
mono ./Treedepth.exe < input_graph.gr