An implementation of a debugging tool for unsatisfiable Answer Set Programs, making use of splitting sets.