Repository supporting the SPA 2013 Advanced Problem Solving: Constraint Satisfaction Problems