This project is part of the exam of the course "Automated Reasoning" held at the University of Udine. It consists in an implementation of a constraint optimization problem (COP) using Minizinc and Answer Set Programming. The project report file includes all the methodologies and solutions used and a description of the work done.