The SWE Decoder and SSWE Solver for the DTU course Computationally Hard Problems.