This repository contains the project realized for the first module con Combinatorial Decision Making and Optimization exam.
Very large-scale integration (VLSI) is the process of creating an integrated circuit by combining multiple circuits on a single chip. The goal of this project is to design the VLSI of the circuits minimizing the final lenght of the device. We have developed different solutions both in CP and SMT.
This project is realized by:
- Marco Costante (Markostante), [email protected];
- Alessandra Stramiglio (alestrami), [email protected].
It is required to install MiniZinc and add the executable to the PATH variable in the enviroment. For the SMT version is required a python installation. The libraries specified with the versions used are the following:
- MiniZinc 2.5.5;
- z3-solver 4.8.12.0;
- Matplotlib 3.4.0;
- NumPy 1.19.5;
The CP solver is runned by executing python solve.py file in the folder utilities. By default all the 40 instances are solved. On the other hand for SMT is possible to run the specific solver by running the appropriate file in the folder SMT/src.