Towards declarative diagnosis of constraint programs over finite domains

Gerard Ferrand, Willy Lesaint, Alexandre Tessier

The paper proposes a theoretical approach of the debugging of constraint programs based on a notion of explanation tree. The proposed approach is an attempt to adapt algorithmic de…