A solver for computing a treedepth decomposition. Created for the PACE-Challenge 2020.
Primary LanguageC++MIT LicenseMIT