CommanderCero/Treedepth-Pace-2020
A solver for computing a treedepth decomposition. Created for the PACE-Challenge 2020.
C++MIT
No issues in this repository yet.
A solver for computing a treedepth decomposition. Created for the PACE-Challenge 2020.
C++MIT
No issues in this repository yet.