PACE 2023: Twin-width SIGma's group submission for the PACE 2023 challenge. TODO: .gr parser .tww parser Decide on graph format Implement contraction Basic brute force solver for smaller graphs Investigate SAT solvers