DADCOP tracer is a AOP (Aspect-Oriented Programming) module to add Dynamic Analysis and Debugging of Constraint Programs tracer within CHOCO (see Link to OADymPPAC home page for more information).