SMS is a submission to the exact treedepth track of PACE 2020 by Tuukka Korhonen (University of Helsinki). The submission is based on an algorithm that branches on (small) minimal separators and thus is named SMS. The description of SMS is available in https://arxiv.org/abs/2006.07302.
Use cmake . and make in the src/ directory, or alternatively just compile all the files together with g++. No external libraries are required.
The code in this repository has been syntactically edited after the submission by renaming variables, improving formatting and removing unused code. The original submission is available in 