Tracing and Explaining Execution of CLP(FD) Programs

Magnus Agren, Tamas Szeredi, Nicolas Beldiceanu +1

Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about control of execution and domain modification. In this paper, we present a trace…