Automated Reasoning project

• The "filling a shape" problem statement, the solution explanation and the execution results can be found in the report.pdf file
• The filling_a_shape.mzn file contains the MiniZinc encoding
• The filling_a_shape.lp file contains the ASP encoding