This is the repo for the project in Combinatorial Decision Making and Optimization at @unibo.: solving a Very Large Scala Integration (VLSI) where we have to optimally fill a chip board by exploiting combinatorially the combinations using MiniZinc and Z3.