This repository describes a project work involving VLSI, for the the Combinatorial Decision Making and Optimization course of the University of Bologna (AI Master) academic year 2020/2021

• CDMO_Project_2021.pdf is the project definition and goals
• SAT folder contains the code for our solution of the problem using z3 sat solver
• CP folder contains the code for our solution of the problem using minizinc constraint solver
• instances contains the instances which will be taken as input from the solvers

Each of the folders contains a detailed report of the development of the code.