Welcome to DADCOP-tracer module

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).