Automated Reasoning Solving a Constraint Satisfaction Problem with ASP and MiniZinc. Read the report here.