Automated Reasoning's Project ASP and MiniZinc modeling Project from my Automated Reasoning course in CS master degree. Details in report folder (in italian).